diff options
| author | David Aspinall | 2009-08-14 12:51:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-14 12:51:30 +0000 |
| commit | a725f405197bd2b7800a31e92fbf7615579af2c5 (patch) | |
| tree | f23113df321594cd4bbcab9fef4de4a6b985d6ef /generic | |
| parent | 2ad140dd29501e1ac032d2dc28e9165b061aa6ab (diff) | |
Set proof-query-identifier-command in right place.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions