1
0

Add build version/time

This commit is contained in:
2019-08-06 08:50:03 +00:00
parent 7c31790eb0
commit 5d2d491258
3 changed files with 16 additions and 1 deletions

2
.gitignore vendored
View File

@ -27,6 +27,8 @@
*.md
!README.md
translators.tex
build-time.tex
build-ver.tex
## Generated if empty string is given at "Please type another file name for output:"
.pdf