chiark / gitweb /
internal notation: rename \merge and \mergeof to \commitmerge and \commitmergeof...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:10:23 +0000 (17:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:10:23 +0000 (17:10 +0100)
commit29344b6ad90d4bc445e67d9b0025509ea555512e
tree26979bf4cd5dfd65711d09ed3f077b32fd450d38
parente938c1413dba5cf8dc107871664216d269950b69
internal notation: rename \merge and \mergeof to \commitmerge and \commitmergeof - fix
notation.tex