diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2014-06-26 17:37:29 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2014-06-26 17:37:29 +0200 |
| commit | cda7b80182b03c7b04baf5cc2cc6aa33984e054a (patch) | |
| tree | 75b1be4215f786ab56c3fcc6184b46867444d0f7 /theories/Sorting | |
| parent | f27134ab2cf4fa1ddc1dd19b2b961e3c3ed040ff (diff) | |
Avoid scanning .coq-native directories when building the library index.
Diffstat (limited to 'theories/Sorting')
0 files changed, 0 insertions, 0 deletions