diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-06-26 20:39:53 +0200 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-06-26 20:45:04 +0200 |
commit | 31393f6024416ea1b2e61d1080dfd7104df36eda (patch) | |
tree | 080dd84a7ee80ae6a65f6a540af3e44ad8040e23 /docs/assets/images/logos/logo-96x96.png | |
parent | aff1ac3235b6c075d01f7237addf44fecdd36d82 (diff) |
Remove the docs submodule
Will be replaced by a Git subtree.
See #3647
Diffstat (limited to 'docs/assets/images/logos/logo-96x96.png')
m--------- | docs | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs b/docs deleted file mode 160000 -Subproject 25e6855c2833e593b3a7a23690ea0fcac813e7e |