diff options
| author | Pierre Courtieu | 2018-05-31 21:48:40 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2018-05-31 21:48:40 +0200 |
| commit | 31dda92a0bf190fd526e0a6d9502c197bdd08eb1 (patch) | |
| tree | 1038a39bf642241482adc9114fcfe7cfeeb833c1 /pgshell | |
| parent | 1587562684500df7f429f6846fc351e9697a2cae (diff) | |
Updated CHANGES about hiding and highlighting of hyps.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions