diff options
| author | Théo Zimmermann | 2020-11-05 12:11:08 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-11-05 12:12:04 +0100 |
| commit | e7aaf584406bdf31a41f4e407c74b6cf7cb42388 (patch) | |
| tree | 67c983d62a4e8ee590b7d88db2c5f2c577f4f23c /kernel/nativelambda.mli | |
| parent | d437390feabd8e215a118a1b1a501272153aab35 (diff) | |
Remove everything after the content on goal management.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions