pippijn/aldor — pull request #113 by pbroadbery (2014-05-26 13:28:47+00:00)
Title: Pab/misc fixes

Fixes:
.gitignore now ignores even more files.
absyn.c: typo fixed.

(the java-interop branch is more interesting, but needs a couple more fixes before it's ready for mainline).