diff options
| author | David Aspinall | 2012-01-09 16:52:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-01-09 16:52:25 +0000 |
| commit | 527463db94b95e136637709561e07e59f06298c6 (patch) | |
| tree | 99a263270f90f7962e57f548a0f27c058e79976c /pgshell | |
| parent | f74a9efeb59b7ea8150fea829c3f092a18c44352 (diff) | |
proof-shell-start-goals-regexp: shy match to avoid introducing match group
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions