diff options
| author | David Aspinall | 2010-08-17 17:00:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-17 17:00:10 +0000 |
| commit | 55d2ef1416207c411e98c57ad7717c1aa7569b50 (patch) | |
| tree | 8d7d46ead494421393ce31287415d54b6de6c6b1 /isar | |
| parent | e4fb92be71b950f867a2c941a85903cb2722e15e (diff) | |
proof-shell-action-list-item: fix type for flags as an element, not a cdr
Diffstat (limited to 'isar')
0 files changed, 0 insertions, 0 deletions