diff options
| author | Charles <sircharlesaze@gmail.com> | 2020-05-10 22:04:35 +0200 |
|---|---|---|
| committer | Charles <sircharlesaze@gmail.com> | 2020-05-10 22:04:35 +0200 |
| commit | d153f42e732ffe1c4cac1c13207fa0ce1781b193 (patch) | |
| tree | 83e5eb6b41a23f98bd3ad10edf4b0769deccee1a /.gitignore | |
| parent | 0ae5be6c6697f5f5f578a27c5ad9ba845aec43c9 (diff) | |
| download | scop-d153f42e732ffe1c4cac1c13207fa0ce1781b193.tar.gz scop-d153f42e732ffe1c4cac1c13207fa0ce1781b193.tar.bz2 scop-d153f42e732ffe1c4cac1c13207fa0ce1781b193.zip | |
Basic parsing
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,4 +1,5 @@ *.o +*.a *.ghc a.out scop |