commit | aa4c3f218ecbd0c30ac5c2bb514f629051b93f44 | [log] [tgz] |
---|---|---|
author | Martin Kreichgauer <martinkr@google.com> | Tue Nov 07 11:33:56 2017 -0800 |
committer | David Benjamin <davidben@google.com> | Tue Nov 07 19:43:31 2017 +0000 |
tree | 9a444a80ccae6b3830adc807eaed761375e7b6f8 | |
parent | d5dda9b803fb5596ba3a3dc5d121f455c29fd1bf [diff] |
fix a typo in third_party/fiat/METADATA Change-Id: I91626b4e84f4a6b53be94d5e4823c634b6e7a5a1 Reviewed-on: https://boringssl-review.googlesource.com/22684 Reviewed-by: David Benjamin <davidben@google.com>
diff --git a/third_party/fiat/METADATA b/third_party/fiat/METADATA index bae0285..2d6242d 100644 --- a/third_party/fiat/METADATA +++ b/third_party/fiat/METADATA
@@ -1,6 +1,6 @@ name: "fiat" description: - "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives". + "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives." third_party { url {