chiark / gitweb /
notation: remove notation test file
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:58:22 +0000 (17:58 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:58:22 +0000 (17:58 +0100)
commitbf00a6804e4075d8639f69c96aabf4150506329c
tree08fd9793bb5c9fb2150b57fd68dffc73e085b846
parent8a69195a6c694ebddaf1d383ca0301041b05c2b4
notation: remove notation test file
notationtest.tex [deleted file]