diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-03 20:28:15 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-03 20:28:15 +0100 |
commit | d312521d80f41bd7901d7b8b3617e75b3a35f8b3 (patch) | |
tree | 43617a7bc7546e3c963dd7b7c8111dcd96f49514 /shell.nix | |
parent | 741d254d2d697cd9cd9da2edb9cd49462695092f (diff) | |
download | vericert-d312521d80f41bd7901d7b8b3617e75b3a35f8b3.tar.gz vericert-d312521d80f41bd7901d7b8b3617e75b3a35f8b3.zip |
Add some statements about externctrl to tr_code
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions