Revision d171ca2ae8f1280e83f5bf85aceb2fb92972bbf6 authored by Zhang Yunjun on 06 June 2019, 23:40:29 UTC, committed by GitHub on 06 June 2019, 23:40:29 UTC
Move the files related with github pages from root to docs directory, for more simple structure. Add github user name (insarlab) to the page title.
1 parent 3438022
.gitignore
*.DS_Store
*.pyc
*ipynb_checkpoints*
*.idea/*
docs/examples/dev/*
docs/resources/insarlab_logo*
docs/resources/mintpy_preview*
docs/resources/*.ai
docs/resources/visit_location.png
isce*
mintpy/dev/*
mintpy/modis*
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...