diff options
| author | Florian Dold <florian@dold.me> | 2020-12-14 16:45:10 +0100 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2020-12-14 16:45:10 +0100 |
| commit | c4b44a51097e67a357b490adf407f1a6afb0d8ee (patch) | |
| tree | ffb8cab47bd2654a50d87aaae9b1819a27dfc3c7 /contrib/articles/ui/ui_short.tex | |
| parent | 12234083ecfe83de79eb2caf29808a0f17188e84 (diff) | |
slightly more helpful error message
Diffstat (limited to 'contrib/articles/ui/ui_short.tex')
0 files changed, 0 insertions, 0 deletions