diff options
| author | Enrico Tassi | 2017-01-05 17:03:37 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2017-05-23 10:48:27 +0200 |
| commit | da5ac9169d0c65ff389104dfd983311b85e059e2 (patch) | |
| tree | 135a0285b1042779b41d3af5a7897d5ef3cfa95b /lib/envars.ml | |
| parent | 088ddea70d2d9121d76f0f3c6c0412fd2a67ff0a (diff) | |
CoqProject_file: document in API deprecated features
Diffstat (limited to 'lib/envars.ml')
0 files changed, 0 insertions, 0 deletions