diff options
| author | Pierre-Marie Pédrot | 2016-05-03 11:25:19 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-05-03 13:17:01 +0200 |
| commit | 780f3424fb741385f063864d9b15b2c3e3fc419a (patch) | |
| tree | a6e134f31def13a413875d76c22f2b16d42a878c /kernel/nativelambda.ml | |
| parent | f51dca0647b3213eb20a9b004372e5e6182bb29a (diff) | |
Fix bug #4705: coqtop accepts both -emacs and -ideslave.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions