diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-04 19:59:21 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-04 20:05:04 +0100 |
| commit | 4d7236541250808487820beec0b3f79ac2a901dc (patch) | |
| tree | b08c984b02b3b44744885af849d3a81bad479121 /.gitattributes | |
| parent | 95ef66d14377cbd88142b5ccb3d598fde6fec243 (diff) | |
| download | vericert-4d7236541250808487820beec0b3f79ac2a901dc.tar.gz vericert-4d7236541250808487820beec0b3f79ac2a901dc.zip | |
Correct lookup for called funcs, simplify tr_module
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions