diff options
| -rw-r--r-- | math/isabelle/pkg-plist | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/isabelle/pkg-plist b/math/isabelle/pkg-plist index 4237e62802f6..af1336f9ccf3 100644 --- a/math/isabelle/pkg-plist +++ b/math/isabelle/pkg-plist @@ -3640,8 +3640,6 @@ bin/isatool %%DATADIR%%/src/ZF/simpdata.ML %%DATADIR%%/src/ZF/thy_syntax.ML %%DATADIR%%/src/ZF/upair.thy -@dirrm share/nls/en_US.US-ASCII -@dirrm share/nls/POSIX @dirrm share/isabelle/src/ZF/ex @dirrm share/isabelle/src/ZF/document @dirrm share/isabelle/src/ZF/UNITY |