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