release.txt is not pushed in by default

This commit is contained in:
maliakal_d 2018-02-09 14:06:09 +01:00
parent 7a6b6e1fea
commit 1609f1d495

1
.gitignore vendored
View File

@ -8,3 +8,4 @@ bin/
*.toc
build
docs/
RELEASE.txt