diff options
| author | Pierre Courtieu | 2015-12-09 16:28:12 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2015-12-09 16:28:12 +0100 |
| commit | ff9ec2ed51ec4609286d747f7276d368499a39a5 (patch) | |
| tree | dc068e0d022ec451586623072909949dbdddcc4f /pgshell | |
| parent | 295386b34a0c973dd9f5e4974fb4dd03402c3867 (diff) | |
Adding an setting for Search Blacklist coq option.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions