summaryrefslogtreecommitdiff
path: root/scripts/latexify-source.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* Revert "latexify-source.sh: \subsection{\texttt{%s}}"Runxi Yu9 days1-11/+11
* latexify-source.sh: Don't set -xRunxi Yu9 days1-1/+1
* latexify-source.sh: \subsection{\texttt{%s}}Runxi Yu10 days1-11/+11
* .editorconfig, latexify-source.sh, student.js: Indent 4, wrap 85Runxi Yu10 days1-1/+1
* iadocs, etc.: Add source to appendixRunxi Yu10 days1-0/+80