summarylogtreecommitdiffstats
path: root/proofgeneral-git.install
AgeCommit message (Collapse)Author
2022-06-30updated, added patch for squirrel supportgilcu3
2016-02-23Make initial package versionkaptoxic