Krishna Jangid 91938046f2 Update build.sh (#1483) před 7 roky
..
build-index.js 27123e215a Fix build-index.js coding style (#1101) před 8 roky
build.sh 91938046f2 Update build.sh (#1483) před 7 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