summaryrefslogtreecommitdiff
path: root/math/proofgeneral
diff options
context:
space:
mode:
authorDmitry Marakasov <amdmi3@FreeBSD.org>2018-02-01 17:29:09 +0000
committerDmitry Marakasov <amdmi3@FreeBSD.org>2018-02-01 17:29:09 +0000
commit7d3da55ea5714ad3bc33ce5c2236ea1c76b75f6d (patch)
treebae08ef34e6741dfa73f34e473a797e95adc934e /math/proofgeneral
parentUpdate `sysutils/cpu-x' to version 3.2.0. (diff)
- Remove bogus (in presence of USE_GITHUB) USES=tar*
Approved by: portmgr blanket
Notes
Notes: svn path=/head/; revision=460619
Diffstat (limited to 'math/proofgeneral')
0 files changed, 0 insertions, 0 deletions