diff options
| author | Gaëtan Gilbert | 2017-10-24 17:21:33 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2017-12-22 18:03:48 +0100 |
| commit | 53950e9e57639a35d6bf542000636ff6f605acb0 (patch) | |
| tree | f77b3a8e521031b508e5a7ec1cb6629da509e7eb /pgshell | |
| parent | 9083698d0bbd4438208fa72222438ae59684542d (diff) | |
Make coq-prog-args safe when list of strings.
They could be passed through _CoqProject regardless.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions