Add the docs theme to .gitmodules
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Tue, 18 Jul 2017 08:44:02 +0000 (10:44 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Tue, 18 Jul 2017 08:44:02 +0000 (10:44 +0200)
commit73273d4e8138ca7ac60e8201618b1b81da64e92b
tree620d6ec5d0fa3096818b84f9a485df5436a653d1
parent4c220c4ac2302b6c0a535c1099f2d393d57049c6
Add the docs theme to .gitmodules

See #3713
.gitmodules