chiark / gitweb /
internal notation: rename \merge and \mergeof to \commitmerge and \commitmergeof
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:08:51 +0000 (17:08 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:08:51 +0000 (17:08 +0100)
commite938c1413dba5cf8dc107871664216d269950b69
tree9e12ba953e887af74f144f139dabf7e06e06f486
parent9487356344b09d6e8276c9a93a7a58913afcf259
internal notation: rename \merge and \mergeof to \commitmerge and \commitmergeof
anticommit.tex
article.tex
lemmas.tex
merge.tex