diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2014-06-06 12:22:42 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2014-06-06 12:22:42 -0700 |
| commit | a38e476beebc2e5d05213abca545d6bac20b246c (patch) | |
| tree | 6564027ada8ff389453470662b3e6fc4e06b691f /.gitignore | |
| parent | a0a6759d930c081d95d0984b4ffdbd1a55cf4961 (diff) | |
| download | subsurface-a38e476beebc2e5d05213abca545d6bac20b246c.tar.gz | |
User manual: install English and localized copies
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions