diff options
| author | Martin Wilke <miwi@FreeBSD.org> | 2013-03-31 09:11:36 +0000 |
|---|---|---|
| committer | Martin Wilke <miwi@FreeBSD.org> | 2013-03-31 09:11:36 +0000 |
| commit | 5abbad498e069ab15461eda39c88ea10c7d457bf (patch) | |
| tree | 8e90016e52826ce06f4800bf2291aa9bab1186a2 /math/proofgeneral | |
| parent | Fix packaging. (diff) | |
- Unbreak build
Reported by: pointyhat
Approved by: portmgr
Notes
Notes:
svn path=/head/; revision=315632
Diffstat (limited to 'math/proofgeneral')
0 files changed, 0 insertions, 0 deletions