]> git.plutz.net Git - confetti/commit
Dirty: avoid some latex control characters
authorpaul <paul@plutz.net>
Tue, 8 Apr 2014 10:28:55 +0000 (10:28 +0000)
committerpaul <paul@plutz.net>
Tue, 8 Apr 2014 10:28:55 +0000 (10:28 +0000)
commit50b69b029a2f5efb1efb1258aa1e9e3e18cee141
tree06714be144c17871ffc210095e3e28da6eabde4f
parent804ecf70ec21f803334b09cc223aedb41d51c610
Dirty: avoid some latex control characters

svn path=/trunk/; revision=46
actions/generate_courselist.sh