| commit | e9f63706ad462cda1678bf4250438edc06dedb6d | [log] [tgz] |
|---|---|---|
| author | Luca Cristoforetti <cristofo@fbk.eu> | Thu Apr 02 17:13:50 2020 +0200 |
| committer | Luca Cristoforetti <cristofo@fbk.eu> | Thu Apr 02 17:13:50 2020 +0200 |
| tree | da84a6c86f480f5102c098c1eb9e5ca321eb1285 | |
| parent | d3df512313aeaf847af96adc626d2a4388f000ca [diff] |
Create a checker for the identifiers names