diff -r 000000000000 -r 7ff85f7ce3a7 .hgignore --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.hgignore Wed Jul 31 19:28:00 2013 +0200 @@ -0,0 +1,12 @@ +syntax: glob +*.orig +*.rej +*.o +*~ + +dist +scratch +resources-ram + +docs/design*.pdf +resources/mobdebug.lua