diff options
| author | David Aspinall | 2004-11-30 09:52:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-11-30 09:52:20 +0000 |
| commit | e6afdceb37b938d3d1ba78bdf73ab0d66223b431 (patch) | |
| tree | e57c2edeb916a07d0ec297b11f480284ff40d140 /BUGS.developer | |
| parent | 52d847980c03b771eb5a6df956ac0bc881fdb403 (diff) | |
Docstring: clarify arg type in proof-define-assitant-command-witharg
Diffstat (limited to 'BUGS.developer')
0 files changed, 0 insertions, 0 deletions