diff options
| author | coqbot-app[bot] | 2021-04-08 14:28:30 +0000 |
|---|---|---|
| committer | GitHub | 2021-04-08 14:28:30 +0000 |
| commit | 3bff0b42f5549c371872ddaca1ccd1b1b3b4dce5 (patch) | |
| tree | adf869329199a86556018af8da7d809a25137f61 /doc/plugin_tutorial/tuto2 | |
| parent | b7e2dfcc1918e028fb8a4fe353f929f104f13b77 (diff) | |
| parent | 89c7574ce888c4f8ee619b12e2182154ffb3a24a (diff) | |
Merge PR #14080: CI-paramcoq: Re-enable native
Reviewed-by: ejgallego
Diffstat (limited to 'doc/plugin_tutorial/tuto2')
0 files changed, 0 insertions, 0 deletions