.. |
build-index.js
|
27123e215a
Fix build-index.js coding style (#1101)
|
8 years ago |
build.sh
|
fa3828cf10
add documentation about Travis token (#1902)
|
7 years ago |
generate-pdf.sh
|
190f8bc5b1
Fix the indentation in PDF conversion files (#1091)
|
8 years ago |
send_to_bot.py
|
e0ccb7147a
Fix a few typos
|
7 years ago |
template.tex
|
0903b35607
Change font in template.tex
|
8 years ago |