diff options
| author | coqbot-app[bot] | 2020-12-12 10:12:56 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-12 10:12:56 +0000 |
| commit | 233629e8f6e40057a8caf7502047995427740ae8 (patch) | |
| tree | c7906708d8fabf20251b83502845715d4337d949 /kernel/nativelambda.mli | |
| parent | fe72ccc708d345e126eb49230afc73db28c5f068 (diff) | |
| parent | 050a09a763ec25bafd90dfd7d7c08f971c4a2e3b (diff) | |
Merge PR #13603: [ci] function to declare projects
Reviewed-by: SkySkimmer
Ack-by: RalfJung
Ack-by: Zimmi48
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions