Jaeden Amero 78d9d0c1e9 check-names: Consider crypto-sourced header files
Many identifiers come from Mbed Crypto. Teach check-names.sh to look in
the crypto submodule for identifiers, to avoid incorrect test results.
2019-08-15 15:24:26 +01:00
..
2019-07-04 19:39:06 +02:00
2016-01-12 14:48:03 +00:00
2019-02-27 11:03:25 +01:00
2017-05-16 17:53:03 +02:00
2019-02-27 11:03:25 +01:00