chiark / gitweb /
notation: strip word "merge" from \setmergeof etc.; use new definition of \commitmerg...
[topbloke-formulae.git] / .gitignore
2012-03-18 Ian Jacksonrevid - include
2012-03-01 Ian Jackson.gitignore
2012-03-01 Ian Jacksonmakefile etc.