diff options
| author | Tej Chajed | 2016-04-09 12:46:40 -0400 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-04-25 18:48:39 +0200 |
| commit | dc469f9aaf0d5b77458e40893d897de12339b9b3 (patch) | |
| tree | e6f77723aa86e4ec766eadda10bb001dbf55b30e /man/coqtop.byte.1 | |
| parent | b295d3402ddebfd2ca3aa052a32880df8d9060a2 (diff) | |
Print magic numbers in bad magic error message
Diffstat (limited to 'man/coqtop.byte.1')
0 files changed, 0 insertions, 0 deletions