diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-07-10 21:12:37 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-10 21:12:37 +0200 |
| commit | 6797b6b0472e87c1ef5edb84f81a16b73577f754 (patch) | |
| tree | 5ffca6d68a4b1a4b0ca414de91f5015d7982e2a7 /docs | |
| parent | f21f8ed249030032f4b0a99c0fcd7e210ddb2e1b (diff) | |
| download | vericert-kvx-6797b6b0472e87c1ef5edb84f81a16b73577f754.tar.gz vericert-kvx-6797b6b0472e87c1ef5edb84f81a16b73577f754.zip | |
Fix Makefiles slightly
Diffstat (limited to 'docs')
| m--------- | docs | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs b/docs -Subproject a596c0c469d7c61b5ed8dfaf8805a926024a3a7 +Subproject f85153b7335ebf99ab6bf6e696b5a08fef38b61 |