diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 16:18:11 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 16:18:11 +0000 |
commit | 5ab6bb9bb1dc698fefc073aebda13364086f131f (patch) | |
tree | af52fb55a2803b41441edc8c7b040d9990bf30a2 /doc/PG-adapting.texi | |
parent | 3841c6b363b74d2fc214acd92041fa608d2e9913 (diff) |
Remove proof-autosend-error-point
Diffstat (limited to 'doc/PG-adapting.texi')
0 files changed, 0 insertions, 0 deletions