diff options
Diffstat (limited to 'tools/preproc/.gitignore')
-rw-r--r-- | tools/preproc/.gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/preproc/.gitignore b/tools/preproc/.gitignore index afa6b22..eb34708 100644 --- a/tools/preproc/.gitignore +++ b/tools/preproc/.gitignore @@ -1 +1 @@ -preproc
+preproc |