diff options
| author | Pierre Courtieu | 2020-04-15 18:13:13 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2020-04-15 18:13:13 +0200 |
| commit | 59190289edf805e3de3e6025f57295a287a0cf9d (patch) | |
| tree | 893f06bd554a8b403a091df14e8d16a6c5199daa /pgshell/example.pgsh | |
| parent | 8273e22e6da7b20e51fa330116bee20964d5dab8 (diff) | |
Fixed disabled proof using menu.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions