merged .gitignore from new-style branch

This commit is contained in:
Phuntsok Drak-pa 2019-08-25 04:59:48 +02:00
parent 303d24bbb4
commit 8b7de1042a

1
.gitignore vendored
View File

@ -11,3 +11,4 @@ _minted*
/draconian-2/Vulgar_ Language generator.pdf /draconian-2/Vulgar_ Language generator.pdf
/draconian-2/auto-generated* /draconian-2/auto-generated*
/ignored-folder /ignored-folder
/js/.tern-port