Commit Graph
5 Commits
Author SHA1 Message Date
Marek Kubica 182bdb8393 CAMLprim is not needed, use EOL80 2014-07-06 23:25:38 +02:00
Marek Kubica aecf1b42f7 Even more files to ignore 2014-07-06 23:13:55 +02:00
Marek Kubica a97c5d4ad8 Ignore OASIS generated stuff 2014-07-06 23:09:32 +02:00
Marek Kubica 64e023e2e7 OASIS-ify source tree 2014-07-06 23:07:29 +02:00
Marek Kubica 5e6fc8eecc No need for binaries, thanks 2014-07-06 21:52:16 +02:00