mirror of
https://github.com/subsurface/subsurface.git
synced 2025-02-19 22:16:15 +00:00
9dd8726d12
This is a manually created single commit to incorporate the changes in https://github.com/Subsurface-divelog/subsurface/pull/502 Closes #502 [Dirk Hohndel:] I was able to manually merge that branch but it created a complete mess out of the tree and brought several dozen commits in a second time, so I gave up and instead created this single commit. Signed-off-by: Philippe Massart <philippe@philmassart.net> Signed-off-by: Dirk Hohndel <dirk@hohndel.org> |
||
|---|---|---|
| .. | ||
| 50-pot | ||
| fr/po | ||
| images | ||
| mobile-images | ||
| compact_subsurface.css | ||
| FAQ.wordpress | ||
| make_PO_to_ASCIIDOC.sh | ||
| make_POT.sh | ||
| Makefile | ||
| mobile-manual.html.git | ||
| mobile-manual.txt | ||
| mobile-manual_es.html.git | ||
| mobile-manual_es.txt | ||
| mobile-manual_fr.html.git | ||
| mobile-manual_fr.txt | ||
| user-manual.html.git | ||
| user-manual.txt | ||
| user-manual_es.html.git | ||
| user-manual_es.txt | ||
| user-manual_fr.html.git | ||
| user-manual_fr.txt | ||
| user-manual_nl.html.git | ||
| user-manual_nl.txt | ||
| user-manual_ru.html.git | ||
| user-manual_ru.txt | ||