diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-01-04 10:40:25 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-04 10:41:09 +0100 |
| commit | a8a5e54a4111e09b8e1468bce1aeacf1831f1cf2 (patch) | |
| tree | 85096fc2db66f3c5603ac937425c8ffc5650eaa9 /.gitignore | |
| parent | 07347e3e7f2327c8e24451980021f6d09e976e3d (diff) | |
move away failing tests which are scheduled to fix later; add missing .out files; fix typeclass.lc
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
| @@ -1,5 +1,4 @@ | |||
| 1 | *~ | 1 | *~ |
| 2 | *.out | ||
| 3 | dist | 2 | dist |
| 4 | *.hi | 3 | *.hi |
| 5 | *.o | 4 | *.o |