projects / BearSSL / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: c1bb535)
Small workaround for CompCert compatibility.
authorThomas Pornin <pornin@bolet.org>
Thu, 24 Jan 2019 21:07:19 +0000 (22:07 +0100)
committerThomas Pornin <pornin@bolet.org>
Thu, 24 Jan 2019 21:07:19 +0000 (22:07 +0100)

No differences found
The BearSSL library and tools.