diff options
| author | Hugo Herbelin | 2015-10-27 18:13:55 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-10-28 12:52:27 +0100 |
| commit | 38aacaa96abee65edb64bf88f15016d54ce31568 (patch) | |
| tree | df62c7b9d550c5f0cc91029b318c2a2a1bca40dd /kernel/cemitcodes.ml | |
| parent | 1235c6c3cfc6770920f46de30b1c4b0f5cb44b19 (diff) | |
Seeing configure as a static resolution of path continued (not yet on windows).
This makes sense probably on Windows too, to be evaluated, maybe .exe
suffix should be added.
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions