diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-02-17 18:54:22 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-17 18:54:22 +0000 |
| commit | 1d7a8f8e795d2fac612f1730a70c3d69eddb2f45 (patch) | |
| tree | 5a2f2b9f48d705bf86c4f661eeba10402585d6ab /Makefile | |
| parent | 01c3c7e039b263f9ac5e0550893fd699c5e59eca (diff) | |
| download | vericert-kvx-1d7a8f8e795d2fac612f1730a70c3d69eddb2f45.tar.gz vericert-kvx-1d7a8f8e795d2fac612f1730a70c3d69eddb2f45.zip | |
Add shell.nix file
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions