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