diff options
| author | Florian Dold <florian.dold@gmail.com> | 2017-12-08 16:51:44 +0100 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2017-12-08 16:51:44 +0100 |
| commit | 2e48d83b2bf01a79c882178976080dd6b75e4a30 (patch) | |
| tree | 96e42c03eeb0de971e0322583365a5f9ab01200b /articles/ui/ui-outline.tex | |
| parent | 289d2cb572bbe438d6c0a7b4ba7cd5f2507942f2 (diff) | |
nicely show version if there is a mismatch
Diffstat (limited to 'articles/ui/ui-outline.tex')
0 files changed, 0 insertions, 0 deletions