diff options
| author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-06-26 21:39:53 +0300 |
|---|---|---|
| committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-06-26 21:45:04 +0300 |
| commit | 31393f6024416ea1b2e61d1080dfd7104df36eda (patch) | |
| tree | 080dd84a7ee80ae6a65f6a540af3e44ad8040e23 /.gitignore | |
| parent | aff1ac3235b6c075d01f7237addf44fecdd36d82 (diff) | |
Remove the docs submodule
Will be replaced by a Git subtree.
See #3647
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions