diff options
author | 2012-02-07 17:19:05 +0000 | |
---|---|---|
committer | 2012-02-07 17:19:05 +0000 | |
commit | 22bc319440ee852246a5ff67fbc684e0be9d80ac (patch) | |
tree | c998006e3479eb21db451d5721ec0772983820da /COPYING | |
parent | d971c47d69e3ff35b2c03a2bec86f4ab227efc97 (diff) |
Load pg_tactics, fix proof-undo-n-times-cmd again.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions