summaryrefslogtreecommitdiff
path: root/math/proofgeneral
diff options
context:
space:
mode:
authorPawel Pekala <pawel@FreeBSD.org>2018-02-01 17:31:35 +0000
committerPawel Pekala <pawel@FreeBSD.org>2018-02-01 17:31:35 +0000
commit7a6d87cd185d39c7023ee32da472cca4f391e7f2 (patch)
tree1e6a9c39ca32d642290fd881f1a4645baba685b0 /math/proofgeneral
parent- Remove bogus (in presence of USE_GITHUB) USES=tar* (diff)
Add patch that forces configuration files in $H/.KeeperRL directory
instead of current working directory
Notes
Notes: svn path=/head/; revision=460620
Diffstat (limited to 'math/proofgeneral')
0 files changed, 0 insertions, 0 deletions