diff options
| author | Pierre Courtieu | 2018-06-08 18:19:29 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2018-06-08 18:19:29 +0200 |
| commit | c4b49a4a3e7b5206f1f29495fd96980aad73e5b9 (patch) | |
| tree | d8f3f74901f9e49a874ef5ca9d03c770ffd46855 /pgshell/example.pgsh | |
| parent | 8b0a89887d175866c3c47594ce24508076500110 (diff) | |
Changed the look of folding/unfolding hyps.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions