diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-23 22:40:18 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-23 22:40:18 +0100 |
commit | 6557bd4ad48626d1c7f644f4134560d363786766 (patch) | |
tree | 9a5dadb5f24b631c34ee93a01f0fdef21795927d /src/verilog | |
parent | fdf5e7378715ba1bd8552e2f005c4a15c834a038 (diff) | |
download | vericert-6557bd4ad48626d1c7f644f4134560d363786766.tar.gz vericert-6557bd4ad48626d1c7f644f4134560d363786766.zip |
Add OS detection to makefile
Diffstat (limited to 'src/verilog')
0 files changed, 0 insertions, 0 deletions