diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-05-30 14:45:37 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-05-30 14:45:37 +0200 |
commit | efd10a40347e2f84988ce5421909f79ed01750ce (patch) | |
tree | 76c4d27dd678ec88e6a479497b8783395f52b0d2 /test/c/siphash24.c | |
parent | 07caf778d7536392c7bc08216b900a1d2387dfb2 (diff) | |
download | compcert-efd10a40347e2f84988ce5421909f79ed01750ce.tar.gz compcert-efd10a40347e2f84988ce5421909f79ed01750ce.zip |
coq2html: use OCaml's alternate string literals for multi-line strings
Diffstat (limited to 'test/c/siphash24.c')
0 files changed, 0 insertions, 0 deletions