diff options
| author | Jim Fehrle | 2019-05-31 16:59:19 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2019-06-01 00:28:06 -0700 |
| commit | 0afe38adf55608b26f04a77f312d4805ce568da6 (patch) | |
| tree | 74e88f5260128ea952df72b83fafc8c54105b8a1 /pgshell | |
| parent | 9ebfbb6abbd5480b434ceadebec824d7c8804e73 (diff) | |
Add hook for coq diff-highlighting routine
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions