diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2016-03-10 08:57:59 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2016-03-10 09:00:31 -0800 |
| commit | d1247ba19c4f0d8110de8fff50578313c667ab60 (patch) | |
| tree | 5490896c76d466a92d51b5c49a836276f2501ff0 /Documentation/make_POT.sh | |
| parent | d9c3fc994668d83be2c1b3ebf09cd7a05b9b6f42 (diff) | |
| download | subsurface-d1247ba19c4f0d8110de8fff50578313c667ab60.tar.gz | |
Small update to the mobile user manual
Also switch the mobile user manual html over to something created on my
machine and (as usual) named .html.git
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/make_POT.sh')
0 files changed, 0 insertions, 0 deletions