diff options
| author | Kristian Evers <kristianevers@gmail.com> | 2018-03-06 11:54:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-06 11:54:47 +0100 |
| commit | f8981aed312113bf12d6426711b41f3c63137fa3 (patch) | |
| tree | 2429815ffd6bcac59fd1e054cf0dd067e96a6d62 /docs/source/development | |
| parent | ffc0a463f07b60f8cc17a3630f740584fa18c95f (diff) | |
| parent | ec2b67d5df927f58af7445e589b347bf03698a30 (diff) | |
| download | PROJ-f8981aed312113bf12d6426711b41f3c63137fa3.tar.gz PROJ-f8981aed312113bf12d6426711b41f3c63137fa3.zip | |
Merge pull request #839 from kbevers/remove-html
Remove html folder
Diffstat (limited to 'docs/source/development')
0 files changed, 0 insertions, 0 deletions
