diff options
| author | Erin van der Veen | 2017-09-18 13:12:45 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2017-09-18 13:12:45 +0200 |
| commit | 0405710a076f8c30516d48bf02381e7dabb6e135 (patch) | |
| tree | 7362762589a8517d49db4071c929beb6ae847827 /src/.gitignore | |
| parent | Merge branch 'wrapper' into 'master' (diff) | |
Continue assignment1
Diffstat (limited to 'src/.gitignore')
| -rw-r--r-- | src/.gitignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/.gitignore b/src/.gitignore deleted file mode 100644 index c181314..0000000 --- a/src/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -*.hi -*.o -runchess |