diff options
| author | coqbot-app[bot] | 2021-03-10 08:02:21 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-10 08:02:21 +0000 |
| commit | f3b82ac4f66a791f6b073c51f4fee803fc4e22e8 (patch) | |
| tree | 13d5c92c3fbe162e1e92f757dda3e2eb84c87654 /kernel/nativecode.ml | |
| parent | b55216ab3509f48e45aac035f1b799529d068f51 (diff) | |
| parent | bae679939206dd139595de42fcb7bf2803ab3203 (diff) | |
Merge PR #13919: Fix a hyperlink in CONTRIBUTING.md
Reviewed-by: Zimmi48
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions