diff options
| author | Hugo Herbelin | 2015-09-26 15:00:33 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-09-26 15:20:43 +0200 |
| commit | 5481ff4f6935874ac3798a61f5a2a810006bde37 (patch) | |
| tree | 07394b2faa06520edde9c288a8ea946fbd9257f6 /kernel/nativecode.ml | |
| parent | 802f3a5c313c8ef98109a3f29c3c862de63bd53c (diff) | |
Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions