diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-16 23:59:08 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-17 00:01:08 +0100 |
commit | c34de4219903cb36aaadeb9c101c9c1c43043a72 (patch) | |
tree | f5848a2a217449abf906f6f837bc497de9a724ba /.gitattributes | |
parent | 29ef1d2d374dcca6ea719c63339f18900be2532f (diff) | |
download | vericert-c34de4219903cb36aaadeb9c101c9c1c43043a72.tar.gz vericert-c34de4219903cb36aaadeb9c101c9c1c43043a72.zip |
Add module idents to the semantics
Necessary because they are used as pointers in externctrl
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions