Commit Graph

3 Commits

Author SHA1 Message Date
c6dedaff33 remove references to src/other in bin/ and .gitignore 2008-06-06 13:59:24 +02:00
f985933723 removing references to mico 2008-06-04 14:52:25 +01:00
4b0bfd906d cosmetics changes and small cleanups 2008-05-08 13:48:42 +02:00