diff options
| author | Yannick Forster | 2021-04-08 11:36:46 +0200 |
|---|---|---|
| committer | Jim Fehrle | 2021-04-10 10:31:49 -0700 |
| commit | b3999ead5497a406653d1ae7c8c7af558d4c6595 (patch) | |
| tree | aae4f1a53dcd762d713153ef5695d0ba10f05b37 /kernel/vmlambda.mli | |
| parent | 59d0462f35818c12a0727a560d7b9ecf2ceea994 (diff) | |
Fix link in doc/cic.rst, there is no Credits chapter anymore
Diffstat (limited to 'kernel/vmlambda.mli')
0 files changed, 0 insertions, 0 deletions