added files that I found

This commit is contained in:
2018-06-16 22:09:34 +02:00
parent 54ba25befb
commit e18a19b8ac
17 changed files with 227 additions and 0 deletions

3
.gitattributes vendored Normal file
View File

@ -0,0 +1,3 @@
.gitignore export-ignore
.gitattributes export-ignore
doc/ export-ignore