diff options
| author | Virgile Prevosto | 2014-03-06 17:11:40 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2014-03-06 17:19:24 +0100 |
| commit | a0e91889d2920a28902b5a3dcbc657564a3a24ba (patch) | |
| tree | 108365f7ecb925fd251ff8054602dd348269fd0d /kernel/nativelambda.mli | |
| parent | 74daa5391b3076b815b7f2f916ed6675d98c3c25 (diff) | |
Uses slashes for install and config directories
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions