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 | |
| parent | fdf5e7378715ba1bd8552e2f005c4a15c834a038 (diff) | |
| download | vericert-6557bd4ad48626d1c7f644f4134560d363786766.tar.gz vericert-6557bd4ad48626d1c7f644f4134560d363786766.zip | |
Add OS detection to makefile
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions