avsm/mirage — pull request #72 by mor1 (2011-10-08 23:40:22+00:00)
Title: gitignore; annot script

+ tweaked gitignore to ignore *.orig as generated by "git mergetool"

+ add simple annot script to generate annot file for a given ml file