diff options
| author | David Aspinall | 2009-09-20 20:21:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-20 20:21:19 +0000 |
| commit | e15e9e2f410f4d80f331fd775549bb3c451128e6 (patch) | |
| tree | aa36add2a492edb9636d3559decde7012c776786 /etc/isar | |
| parent | 849019c147c7557a9490aaca1942db42f644acbd (diff) | |
proof-cmdstart-add-segment-for-cmd: classify all whitespace as a
comment, not a command.
Diffstat (limited to 'etc/isar')
0 files changed, 0 insertions, 0 deletions