]> git.plutz.net Git - confetti/commit
escape " for latex
authorpaul <paul@plutz.net>
Thu, 12 Oct 2017 16:34:42 +0000 (16:34 +0000)
committerpaul <paul@plutz.net>
Thu, 12 Oct 2017 16:34:42 +0000 (16:34 +0000)
commit0e0e7e6828d5bb00ed610134d8a31dc0b40ae791
tree4314f86d0201fadc5f831a3b07fcfbba31a635ca
parent5d9f59035a7833cc8e573025762bca22795c6e5b
escape " for latex

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