diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-01-27 12:08:44 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-01-28 07:24:10 -0800 |
| commit | 0c07b02974a65608d7d71ef150d322678ec1170b (patch) | |
| tree | c99833d9f4efb65097b425a3b6f791c5eb5aa89f /Documentation/user-manual_nl.txt | |
| parent | 11b357a4f080f43c2fc3d1c169aeb94d042d041e (diff) | |
| download | subsurface-0c07b02974a65608d7d71ef150d322678ec1170b.tar.gz | |
Desktop: cleanups for the filter UI
Just trying to get the spacing to be a bit nicer. Hand editing XML...
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/user-manual_nl.txt')
0 files changed, 0 insertions, 0 deletions