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