diff options
| author | Hugo Herbelin | 2015-05-15 17:42:16 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-05-15 18:04:08 +0200 |
| commit | 4b5af0d6e9ec1343a2c3ff9f856a019fa93c3606 (patch) | |
| tree | bbc3aa63ec0ee105a1b7e88ddbcf052cd8c738b6 /kernel | |
| parent | 15dc0ff339e01341e11c5dec63689ddc3e500e96 (diff) | |
On MacOS X, ensuring that files found in the file system have the
expected lowercase/uppercase spelling (based on a patch by Pierre B.).
This should fix #2554 (and see also discussion on coq-club, May 2015).
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions