diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2016-07-23 16:27:02 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-07-23 16:27:02 +0200 |
| commit | 026a3a7f984259c65ffa707c6bb8196c311a2f4b (patch) | |
| tree | 4ce15828300d4e10c95dad807e3001b8c8a44ccc /FAQ.md | |
| parent | ceaec9b3e98da7978516f69abca33f65e10f3b03 (diff) | |
Add documentation about the recommended way to set coq-prog-name.
Diffstat (limited to 'FAQ.md')
0 files changed, 0 insertions, 0 deletions