diff options
| author | David Aspinall | 2000-05-30 10:46:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-30 10:46:43 +0000 |
| commit | 340963b38da050e85825f349f2e5eaf21a874612 (patch) | |
| tree | 450edccf6f54e94dad3173e784eb85ea62e1c4b4 /html/projects.phtml | |
| parent | 4f8a95e5cfa56888acae5b6847038f5b810d513b (diff) | |
Added prefix arg to proof-minibuffer-cmd to insert current region.
Diffstat (limited to 'html/projects.phtml')
0 files changed, 0 insertions, 0 deletions