.. |
build-index.js
|
27123e215a
Fix build-index.js coding style (#1101)
|
před 8 roky |
build.sh
|
72196b030d
Use NodeJS NPM package markdownlint instead of Ruby gem mdl
|
před 9 roky |
generate-pdf.sh
|
190f8bc5b1
Fix the indentation in PDF conversion files (#1091)
|
před 8 roky |
send_to_bot.py
|
e0ccb7147a
Fix a few typos
|
před 7 roky |
template.tex
|
0903b35607
Change font in template.tex
|
před 8 roky |