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/src | |
| parent | aff1ac3235b6c075d01f7237addf44fecdd36d82 (diff) | |
Remove the docs submodule
Will be replaced by a Git subtree.
See #3647
Diffstat (limited to 'docs/src')
| m--------- | docs | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs b/docs deleted file mode 160000 -Subproject 25e6855c2833e593b3a7a23690ea0fcac813e7e |