diff options
| author | Guillaume Melquiond | 2015-09-16 07:41:03 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-09-16 07:41:03 +0200 |
| commit | 95903cc3bcb9aed92459e644d295be4d9ca25405 (patch) | |
| tree | 2334c41a017b455fb8c8357ca8b02a35196246a0 /kernel/type_errors.mli | |
| parent | 6af9f644b64acf485c1628247f5435d09b990b79 (diff) | |
Change coq_makefile's default from "-Q . Top" to "-R . Top". (Fix bug #3603)
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions