Add extra meta-files to gitignore2010-02-11T16:17:39ZChristiaan Baaijbaaijcpr@wlan229203.mobiel.utwente.nlChristiaan Baaijbaaijcpr@wlan229203.mobiel.utwente.nl2010-02-11T16:17:39Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/dsd-paper.git;a=commitdiff;h=20bcf9d86e5e6c2b40cbb48e55274a8f60054dcd
Add cλash.tex to ignore list, as it is now generated through lhs2tex2010-01-27T09:26:52ZChristiaan Baaijchristiaan.baaij@gmail.comChristiaan Baaijchristiaan.baaij@gmail.com2010-01-27T09:26:52Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/dsd-paper.git;a=commitdiff;h=957d3347a50150ffec62d61fb23869093aa5ab20
Add cλash.tex to ignore list, as it is now generated through lhs2tex
Add some additional files to the ignore list2010-01-25T13:21:38ZChristiaan Baaijchristiaan.baaij@gmail.comChristiaan Baaijchristiaan.baaij@gmail.com2010-01-25T13:21:38Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/dsd-paper.git;a=commitdiff;h=aae75fe21bcee7296ff092627f7e0b00beef1bcf