diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-11-14 19:21:00 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-14 19:21:00 +0000 |
| commit | 8d846f39e7273981bbd0c6c38e91a7bafeff08cb (patch) | |
| tree | 161957893dac48a7a1400106e2435c76e180712d /Makefile | |
| parent | 9fb5632f42e58e5e53bed34e22a656ba04f3fe74 (diff) | |
| download | vericert-8d846f39e7273981bbd0c6c38e91a7bafeff08cb.tar.gz vericert-8d846f39e7273981bbd0c6c38e91a7bafeff08cb.zip | |
Add more tracking files to github workflow
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions