diff options
| author | Koop Mast <kwm@FreeBSD.org> | 2013-03-31 09:05:28 +0000 |
|---|---|---|
| committer | Koop Mast <kwm@FreeBSD.org> | 2013-03-31 09:05:28 +0000 |
| commit | 66c6cd53465d01074d83ae785943103747bede3b (patch) | |
| tree | 61151855f31be1e1c580bbc90343af48bf0907e6 /math/proofgeneral | |
| parent | Disable the class inheritance plugin, it needed a library that was removed (diff) | |
Fix packaging.
Submitted by: miwi
Approved by: portmgr (miwi)
Notes
Notes:
svn path=/head/; revision=315631
Diffstat (limited to 'math/proofgeneral')
0 files changed, 0 insertions, 0 deletions