diff options
Diffstat (limited to 'lib/.gitignore')
-rw-r--r-- | lib/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/.gitignore b/lib/.gitignore index 7cbb08f7e3..564bd091ed 100644 --- a/lib/.gitignore +++ b/lib/.gitignore @@ -381,5 +381,6 @@ /unicore/Heavy.pl /unicore/mktables.lst /unicore/Name.pl +unicore/TestProp.pl /unicore/To /unicore/lib |