diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-04-19 12:17:27 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-04-19 14:27:54 -0700 |
| commit | 4fd4b75269469ee1029c51bdaf8275149d20a929 (patch) | |
| tree | 4817a63ac856f92dbca3b00e8c22c2407decbc55 /core/settings | |
| parent | 08c5788020a16ef4b75dc62c4fa9a40fd2e3bfcd (diff) | |
| download | subsurface-4fd4b75269469ee1029c51bdaf8275149d20a929.tar.gz | |
documentation: update bundled HTML user manual
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'core/settings')
0 files changed, 0 insertions, 0 deletions