diff options
| author | Pierre Courtieu | 2016-12-12 11:27:24 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2016-12-12 11:27:24 +0100 |
| commit | 7aafefd252df6ff13b93ad388e767c771f56e916 (patch) | |
| tree | fbcf43919defebc04c27d805864d6d99e3404fdf /FAQ.md | |
| parent | c1e06d2c2d67236aeedb59137d155d93d0646596 (diff) | |
remove default absolute name from coq-prog-name, but keep dipsplaying it when asking for it.
Diffstat (limited to 'FAQ.md')
0 files changed, 0 insertions, 0 deletions