diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-10-31 21:45:44 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-10-31 21:45:44 +0000 |
commit | 7e7d48e61eec22a8b0d69c0ec4832f001924450c (patch) | |
tree | c9601d6d2d74992355befbba56785531f55458f1 /shell.nix | |
parent | 7993412c3ec7a8608734bbdb1ea4dd30d7938ee7 (diff) | |
download | vericert-7e7d48e61eec22a8b0d69c0ec4832f001924450c.tar.gz vericert-7e7d48e61eec22a8b0d69c0ec4832f001924450c.zip |
Improve performance dramatically for RTLBlock generation
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions