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 eb34708..afa6b22 100644 --- a/tools/preproc/.gitignore +++ b/tools/preproc/.gitignore @@ -1 +1 @@ -preproc +preproc
|