diff options
| author | coqbot-app[bot] | 2021-04-10 18:38:45 +0000 |
|---|---|---|
| committer | GitHub | 2021-04-10 18:38:45 +0000 |
| commit | 7ce1c4844b077adb25d14cf1bbd2d22548b1e935 (patch) | |
| tree | 1bcedda1b36e982295463847391478a0336306c4 /kernel/vmlambda.mli | |
| parent | 19e991811dc30bd2392cc969667887a159f355e5 (diff) | |
| parent | b3999ead5497a406653d1ae7c8c7af558d4c6595 (diff) | |
Merge PR #14091: Fix link in doc/cic.rst, there is no Credits chapter anymore
Reviewed-by: jfehrle
Diffstat (limited to 'kernel/vmlambda.mli')
0 files changed, 0 insertions, 0 deletions