| commit | f61bf9c13b40c670fe562122176e68fb892f48a4 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <gilles.peskine@arm.com> | Mon Jul 15 14:42:15 2019 +0200 |
| committer | GitHub <noreply@github.com> | Mon Jul 15 14:42:15 2019 +0200 |
| tree | 8648cd73263f3b98548e88a82c0f85d058791262 | |
| parent | 1168ef947b8a7863357ea94bd1af39549f1b8014 [diff] | |
| parent | c11c4dcf9525c10ff24c7caac5e234822f06251f [diff] |
Merge pull request #170 from gilles-peskine-arm/at-misra-2012 Use stdint.h types