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 /ip | |
| 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 'ip')
0 files changed, 0 insertions, 0 deletions