diff options
author | Antoine Brodin <antoine@FreeBSD.org> | 2014-11-13 23:24:00 +0000 |
---|---|---|
committer | Antoine Brodin <antoine@FreeBSD.org> | 2014-11-13 23:24:00 +0000 |
commit | cff02893b4ffaca2c12ec7d703140091b84be4a6 (patch) | |
tree | 35e86ca832aecba11b3463aa21de147c0c0bf113 /math/alt-ergo | |
parent | 534e224f5e5b5a7806c77e366c6f45d2ca06deae (diff) | |
download | ports-cff02893b4ffaca2c12ec7d703140091b84be4a6.tar.gz ports-cff02893b4ffaca2c12ec7d703140091b84be4a6.zip |
Notes
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 |