diff options
author | davidovski <david@davidovski.xyz> | 2022-06-27 01:15:51 +0100 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-06-27 01:15:51 +0100 |
commit | a000bd4176ac282fb004fe53319e2b3b22383085 (patch) | |
tree | f6594296d5df2babfb26f0a99ad6acfd26f99ef8 /src/tools | |
parent | 7bba6cd7612293796e905885f9ed3072877798ab (diff) |
added check and install to makefile
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions