diff options
author | antoine <antoine@FreeBSD.org> | 2014-11-14 17:09:46 +0800 |
---|---|---|
committer | antoine <antoine@FreeBSD.org> | 2014-11-14 17:09:46 +0800 |
commit | bf929dc1773a552f3d930cb72112fdef3a39183b (patch) | |
tree | edf7dc7cdc09c9ca01e7880e2a74b5f35e96dff5 /math/proofgeneral | |
parent | 7e9753da00e7fb227a07db2026506e752e5074ba (diff) | |
download | freebsd-ports-gnome-bf929dc1773a552f3d930cb72112fdef3a39183b.tar.gz freebsd-ports-gnome-bf929dc1773a552f3d930cb72112fdef3a39183b.tar.zst freebsd-ports-gnome-bf929dc1773a552f3d930cb72112fdef3a39183b.zip |
- Fix EXAMPLES installation
- Cleanup plist
Diffstat (limited to 'math/proofgeneral')
0 files changed, 0 insertions, 0 deletions