diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-07-18 10:44:02 +0200 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-07-18 10:44:02 +0200 |
commit | 73273d4e8138ca7ac60e8201618b1b81da64e92b (patch) | |
tree | 620d6ec5d0fa3096818b84f9a485df5436a653d1 /README.md | |
parent | 4c220c4ac2302b6c0a535c1099f2d393d57049c6 (diff) |
Add the docs theme to .gitmodules
See #3713
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions