diff options
| author | Pierre Courtieu | 2018-06-11 14:38:31 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2018-06-11 14:38:31 +0200 |
| commit | b3ff384a564a0d5a4206c1eb1e2eaa06da6f909a (patch) | |
| tree | 63ada0e05eceed4ddfb5eda8a4461a31ef6b017e /pgshell | |
| parent | e1af53a09165d2e3e16b977fe73741d20a708a29 (diff) | |
fix #355 + probable bug.
By renaming the arg load-path into loadpath I notice that a
coq-load-path was used instead of it.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions