diff options
author | UnavailableDev <69792062+UnavailableDev@users.noreply.github.com> | 2023-05-20 22:08:08 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-20 22:08:08 +0200 |
commit | ac1884bec264d08dc5cc58d1cda24e20734c9205 (patch) | |
tree | 6c71a74d2b3d4af7d183b0823b15bba601a37bb5 /doc/dui.tex | |
parent | 7a18524a8b97deaafcd93be14e56ce308fe4583c (diff) | |
parent | ba026d8229744a01818d38552ec7271e689d19eb (diff) |
Merge branch 'lonkaars:master' into master
Diffstat (limited to 'doc/dui.tex')
-rw-r--r-- | doc/dui.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/dui.tex b/doc/dui.tex new file mode 100644 index 0000000..612ee40 --- /dev/null +++ b/doc/dui.tex @@ -0,0 +1,3 @@ +\newcommand\doctitle{DUI} +\input{base.tex} + |