diff options
| author | Enrico Tassi | 2020-11-30 15:06:21 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-04 11:58:00 +0100 |
| commit | 823a5a0ca12e574fa4d9851f76b28d0a78baa118 (patch) | |
| tree | 96a04cf89547906fd1c3600406b3a81ed24c0dcd /doc/plugin_tutorial/tuto1/src | |
| parent | 1b39124d33f609740bb601ee5468f39470ba540b (diff) | |
[win] [envars] honor file "coq_environment.txt"
On windows we provide a way to set environment variables
local to a coq installation by providing a file
named "coq_environment.txt" containing KEY="value" pairs.
No space between KEY and = is allowed, values are in
quotes according to OCaml's escaping conventions.
The file is line-directed, illformed lines are skipped.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions