chiark / gitweb /
notation: define \commitmergeof in terms of \stmtmergeof
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:27:19 +0000 (17:27 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:27:19 +0000 (17:27 +0100)

No differences found