diff options
| author | David Aspinall | 2000-04-07 13:40:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-04-07 13:40:16 +0000 |
| commit | 91ce5d54ca9e53351e2bfcb7355fc890d9488da0 (patch) | |
| tree | 5fccb82079d42dbc09c8f1c85aaad98871ca06df /hol98 | |
| parent | 5205d2df95632ff2801ed416c0d3484ce6ec2e11 (diff) | |
pbp-mode -> goals-mode
Diffstat (limited to 'hol98')
0 files changed, 0 insertions, 0 deletions