diff options
| author | David Aspinall | 2000-05-16 09:32:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-16 09:32:30 +0000 |
| commit | f4314872d031f3ec2ebfffe9abb2c2909734c5e6 (patch) | |
| tree | 497b295583871fdf7d33c59c2ad4d3c8d45ffbcb /doc | |
| parent | 6f7c163ac2cb183baec6e01e4fd70c5215be8484 (diff) | |
Added proof-ready-for-assistant function to help docstring magic.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions