diff options
| author | Hugo Herbelin | 2019-04-26 20:54:29 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-09-10 15:20:58 +0200 |
| commit | 36bc8d2b666457c18436c1801d7ba811ed2c2067 (patch) | |
| tree | f1a32bc208b0fc2c0660a8cb30d05dcda83d91ac /doc/stdlib | |
| parent | d5af8a969cfbd32484b4939bfeff153c86fc2fe2 (diff) | |
Fixing coqide doc about location of "coqiderc" and "coqide.bindings".
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions