diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-02-24 15:16:24 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-02-24 15:16:24 +0000 |
| commit | 9e35f6174b012d1ca7eef9921169e34c62c993dd (patch) | |
| tree | 8ed10b5802a91afa6198b9c8fcb5a7286b8ae2d7 /docs | |
| parent | a1d20be8f5001f6d833b530908b9ada25d140e1b (diff) | |
| download | vericert-9e35f6174b012d1ca7eef9921169e34c62c993dd.tar.gz vericert-9e35f6174b012d1ca7eef9921169e34c62c993dd.zip | |
Delete docs submodule
Diffstat (limited to 'docs')
| m--------- | docs | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs b/docs deleted file mode 160000 -Subproject be7d734e2cbf3f2619f83ad284cfd31f4fc3682 |