[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] 97d708: Updated is hacl-c
|
From: |
GitHub |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] 97d708: Updated is hacl-c |
|
Date: |
Sun, 19 Nov 2017 19:14:04 -0800 |
Branch: refs/heads/secure_link_tmp
Home: https://github.com/paparazzi/paparazzi
Commit: 97d708df3b3daa0beca9b9dedb575896698b4961
https://github.com/paparazzi/paparazzi/commit/97d708df3b3daa0beca9b9dedb575896698b4961
Author: Michal Podhradsky <address@hidden>
Date: 2017-11-19 (Sun, 19 Nov 2017)
Changed paths:
M .gitignore
M sw/ext/hacl-star
Log Message:
-----------
Updated is hacl-c
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] 97d708: Updated is hacl-c,
GitHub <=