diff options
| author | David Aspinall | 2002-11-20 12:18:53 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-20 12:18:53 +0000 |
| commit | 2039e9e907e05683f8e7bf0051e4d1787b421b0e (patch) | |
| tree | 8ceca4bbb6056409ac6c65895c0b9827bace6cec /html/feedback.php | |
| parent | 780f5242aabba41e133529327e53a8eba0fda02c (diff) | |
proof-shell-invisible-cmd also accepts a function yielding a command.
Diffstat (limited to 'html/feedback.php')
0 files changed, 0 insertions, 0 deletions