merge

2009-07-14 22:55:52 -07:00 · 2009-07-14 22:55:52 -07:00 · e6c837d612
commit e6c837d612
parent 76f90e5145 76f90e5145
9 changed files with 31 additions and 5 deletions
--- a/.hgignore
+++ b/.hgignore
@ -17,3 +17,4 @@ y.tab.[ch]$
 ^log/
 ^dict/
 ^postscript/font/
+\.orig$