diff options
| author |  Robert C. Helling <helling@atdotde.de> | 2017-08-08 08:32:05 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-08-10 09:08:02 -0700 |
| commit | de47c967634a2cc87db5b1fae8cad5314a52836f (patch) | |
| tree | ab8ed3ebe65293c75318e71c7cea97b45ccc1fc0 /desktop-widgets/listfilter.ui | |
| parent | 72e302a1c252532e6a6f6987bbf371dd70b1114b (diff) | |
| download | subsurface-de47c967634a2cc87db5b1fae8cad5314a52836f.tar.gz | |
Cleaning up TeX export
Removed some merge artefacts and made sure code compiles and
produces wellformed TeX. Shortend some comments.
Signed-off-by: Robert C. Helling <helling@atdotde.de>
Diffstat (limited to 'desktop-widgets/listfilter.ui')
0 files changed, 0 insertions, 0 deletions