diff options
-rw-r--r-- | .gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -1,5 +1,3 @@ Build/SysConfig.hs tags git-repair -test-runner -test-runner.log |
index : git-repair | ||
[no description] | git repository hosting |
summaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 2 |
@@ -1,5 +1,3 @@ Build/SysConfig.hs tags git-repair -test-runner -test-runner.log |