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
..
2018-10-19 15:25:10 +01:00
2019-06-27 08:46:45 +02:00
2019-07-02 20:05:20 +02:00
2019-07-03 16:54:44 +01:00