diff options
Diffstat (limited to 'users/grfn/achilles/ach/.gitignore')
| -rw-r--r-- | users/grfn/achilles/ach/.gitignore | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/users/grfn/achilles/ach/.gitignore b/users/grfn/achilles/ach/.gitignore deleted file mode 100644 index ac5296ebbd..0000000000 --- a/users/grfn/achilles/ach/.gitignore +++ /dev/null @@ -1,7 +0,0 @@ -*.ll -*.o - -functions -simple -externs -units |