diff options
| author | Florian Dold <florian.dold@gmail.com> | 2020-07-28 23:33:30 +0530 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2020-07-28 23:33:30 +0530 |
| commit | 997445d42f6c804b7560a98e636f9f24496b4202 (patch) | |
| tree | b53e26e34f33cff562f38e3ca3ce341e9f7e5fe6 /articles/ui/ui-outline.tex | |
| parent | 732e764b376dff6b0262b869b29dbdee0c455a0e (diff) | |
consistent namingv0.7.1-dev.11
Diffstat (limited to 'articles/ui/ui-outline.tex')
0 files changed, 0 insertions, 0 deletions