diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 14:57:23 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 14:57:23 +0000 |
commit | 314592d5593faa02a0330451a22fd9b8cc251b8d (patch) | |
tree | cc82d540a3982a18893b3423c77b904746373df3 /default.nix | |
parent | c897f9ab9c515501f88199003bd3e696bf7b9692 (diff) | |
download | vericert-314592d5593faa02a0330451a22fd9b8cc251b8d.tar.gz vericert-314592d5593faa02a0330451a22fd9b8cc251b8d.zip |
Add synthesis bash scripts
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions