diff options
| author | Pierre Boutillier | 2013-12-20 16:59:59 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2013-12-20 17:27:20 +0100 |
| commit | a665fd808b7fdaa11f84b35a87e0b8066cce1eda (patch) | |
| tree | 2b4d5585bdb4b258fdad6f08af5b73bb9408e4a5 /kernel/nativelambda.mli | |
| parent | ca1305a0187653edcf63e46b84c65130ac78d117 (diff) | |
Coqdep always uses / as dir_sep
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions