DbiPlayer progress

2022-05-11 22:03:45 +02:00
parent c11f09ebe2
commit 0584e7fe6b
7 changed files with 179 additions and 89 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1,16 @@
+.directory
+.kile/
+doc.aux
+doc.bbl
+doc.blg
+doc.ilg
+doc.lof
+doc.log
+doc.lol
+doc.lot
+doc.nlo
+doc.nls
+doc.out
+doc.pdf
+doc.toc
+tikzit.sty