aboutsummaryrefslogtreecommitdiffstats
path: root/math/proofgeneral
diff options
context:
space:
mode:
authorantoine <antoine@FreeBSD.org>2014-11-14 17:09:46 +0800
committerantoine <antoine@FreeBSD.org>2014-11-14 17:09:46 +0800
commitbf929dc1773a552f3d930cb72112fdef3a39183b (patch)
treeedf7dc7cdc09c9ca01e7880e2a74b5f35e96dff5 /math/proofgeneral
parent7e9753da00e7fb227a07db2026506e752e5074ba (diff)
downloadfreebsd-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