ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-11 08:55:23 +03:00
Code Issues Projects Releases Wiki Activity
10,023 Commits 4 Branches 42 Tags 40 MiB
master
Commit Graph

2 Commits

Author SHA1 Message Date
chetant
bb9a3ad79d typo fix in git attributes, adding test results to gitignore 2012-11-26 21:09:59 -05:00
chetant
fab5d73378 Adding support for Windows MingW32 2012-11-26 21:02:20 -05:00