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