aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authortslil clingman <tslil@posteo.de>2021-02-02 19:23:54 -0500
committertslil <tslil@posteo.de>2021-02-05 00:12:18 -0500
commit4f20d9fd63b6b3e30130c84c20f7cdbbbf2df76d (patch)
tree99d86e8f90e8aa19b35875ea8ba624c50c467857 /.gitignore
parent41b5dc810e25724e8111cf7f2ad1b4b52f9b1206 (diff)
TEI interface working!
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index fae0106..e76b6db 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,5 @@ data/
ct1986
ctaklm
pptdb
+tei
buildroot*