yggdrasil/ring
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix a typo in third_party/fiat/METADATA

Browse Source 
Change-Id: I91626b4e84f4a6b53be94d5e4823c634b6e7a5a1
Reviewed-on: https://boringssl-review.googlesource.com/22684
Reviewed-by: David Benjamin <davidben@google.com>
This commit is contained in:
Martin Kreichgauer 2017-11-07 11:33:56 -08:00 committed by David Benjamin
parent d5dda9b803
commit aa4c3f218e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
third_party/fiat/METADATA vendored
View File

@ -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 {