diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2015-02-04 08:00:33 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2015-02-04 08:00:33 -0800 |
| commit | 22949a0004c062f9d2128b6726df8551fbf833e3 (patch) | |
| tree | 717a242c1dd6df1d86c40bfbb6f9dbb7563a7e11 /worldmap-options.h | |
| parent | 06e2dde508984b07d548b52c9790f1d3a614acdf (diff) | |
| download | subsurface-22949a0004c062f9d2128b6726df8551fbf833e3.tar.gz | |
Update to pre-built user manualsv4.4.0
And disable Russian manual for the moment - it's too old
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'worldmap-options.h')
0 files changed, 0 insertions, 0 deletions