diff options
Diffstat (limited to 'math/alt-ergo')
| -rw-r--r-- | math/alt-ergo/pkg-plist | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/math/alt-ergo/pkg-plist b/math/alt-ergo/pkg-plist index 6e76d6ba3b64..26b1971e2421 100644 --- a/math/alt-ergo/pkg-plist +++ b/math/alt-ergo/pkg-plist @@ -7,6 +7,3 @@ lib/ocaml/alt-ergo/altErgo.cmx lib/ocaml/alt-ergo/altErgo.o man/man1/alt-ergo.1.gz share/gtksourceview-2.0/language-specs/alt-ergo.lang -@dirrmtry share/gtksourceview-2.0/language-specs -@dirrmtry share/gtksourceview-2.0 -@dirrm lib/ocaml/alt-ergo |