diff options
| author | Pierre Courtieu | 2015-10-15 20:00:21 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2015-10-15 20:00:21 +0200 |
| commit | a0f0b06e6fdcaa8c4807879e3df5990d063ab6ac (patch) | |
| tree | b2debb6c62c73498269e588a0c1d170bc32d9b71 /pgshell/pgshell.el | |
| parent | dbcdba63a79bfcafbc8873b787f18aa049198eaf (diff) | |
Fixed the regexp for colorizing hyps in the goal.
Diffstat (limited to 'pgshell/pgshell.el')
0 files changed, 0 insertions, 0 deletions