diff options
Diffstat (limited to 'proto/.gitignore')
-rw-r--r-- | proto/.gitignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/proto/.gitignore b/proto/.gitignore index ff9fbe2..2dc12a1 100644 --- a/proto/.gitignore +++ b/proto/.gitignore @@ -1,7 +1,4 @@ -t bak -.comfile *.o *.cm[io] -lisc/lo t.out |