diff options
| author | Gaëtan Gilbert | 2018-03-09 13:59:17 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-03-31 00:58:15 +0200 |
| commit | d4def32456c0fadb7fc9814af7e7b2b21a37f0a6 (patch) | |
| tree | 40c7cb812e1cb2073f1d02d6ad44725555da04ff /kernel/nativelambda.mli | |
| parent | c0eedb5bdcb815132f404e19d6bf59730ae6e2df (diff) | |
pre-commit: verify user overlay extensions (must be .sh).
This has come up a couple times.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions