diff options
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
| @@ -1,5 +1,7 @@ | |||
| 1 | *~ | 1 | *~ |
| 2 | dist | 2 | dist |
| 3 | dist-newstyle | ||
| 3 | *.hi | 4 | *.hi |
| 4 | *.o | 5 | *.o |
| 5 | .stack-work | 6 | .stack-work |
| 7 | .ghc.environment.* | ||
 |
index : lambdacube-gl.git | |
| summaryrefslogtreecommitdiff |