diff options
| author | Antoine Brodin <antoine@FreeBSD.org> | 2014-11-14 09:39:21 +0000 |
|---|---|---|
| committer | Antoine Brodin <antoine@FreeBSD.org> | 2014-11-14 09:39:21 +0000 |
| commit | 942951d86b151bf95eb6b08618bad2aba644a1ba (patch) | |
| tree | 5b15470a9814d9c3cdd2383f995e3781691905a5 /math/proofgeneral | |
| parent | 31a552d0c1500ec6968e36d3d324c3f1c38ca136 (diff) | |
| download | ports-942951d86b151bf95eb6b08618bad2aba644a1ba.tar.gz ports-942951d86b151bf95eb6b08618bad2aba644a1ba.zip | |
Notes
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/pkg-plist | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist index 380ec142b53f..c7a63295133f 100644 --- a/math/proofgeneral/pkg-plist +++ b/math/proofgeneral/pkg-plist @@ -233,23 +233,3 @@ share/icons/hicolor/48x48/proofgeneral.png share/mime-info/proofgeneral.keys share/mime-info/proofgeneral.mime share/pixmaps/proofgeneral.png -@dirrmtry share/icons/hicolor/48x48 -@dirrmtry share/icons/hicolor/32x32 -@dirrmtry share/icons/hicolor/16x16 -@dirrmtry share/icons/hicolor -@dirrmtry share/icons -@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/phox -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/pgshell -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lego -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/isar -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98 -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/coq -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2 -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral |