]> git.plutz.net Git - confetti/commit
apply tex escaping
authorpaul <paul@plutz.net>
Thu, 12 Oct 2017 16:26:03 +0000 (16:26 +0000)
committerpaul <paul@plutz.net>
Thu, 12 Oct 2017 16:26:03 +0000 (16:26 +0000)
commitc552e0b51dd1d27ef7ce042c074b9928cfc5685d
treec33bf58cd1d0f5b08b1ec0693a65e87d13259eb5
parent2f1599a832052d7f7c12020e2b2422bde93bc8a7
apply tex escaping

svn path=/trunk/; revision=154
actions/generate_courselist.sh
templates/course_print.sh