diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-11-16 16:40:22 +0100 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-11-16 16:40:22 +0100 |
| commit | 9117e139d6aad064756f58427ec137d8bb787fcc (patch) | |
| tree | ca018f5d28795244d2da9b3dcd12935a118fa59e /.gitlab-ci.yml | |
| parent | 09eed5e98d88260942d7860aec983c539faeac35 (diff) | |
| download | compcert-kvx-9117e139d6aad064756f58427ec137d8bb787fcc.tar.gz compcert-kvx-9117e139d6aad064756f58427ec137d8bb787fcc.zip | |
minor fix in coq2html comment
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions