diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-10-21 10:52:23 +0200 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-10-21 10:52:23 +0200 |
commit | 5ac0f751aa47e52625662215f66efa99a6abfc2e (patch) | |
tree | ef8f34faeb29bc12fe94f4a4dd9963274485dd09 | |
parent | 5070ba6c9e6c492deade3c30cfe769b9dbf7151d (diff) |
723da4a37 Vendor the theme
git-subtree-dir: docs
git-subtree-split: 723da4a3769ee8a6c02758b553618143f92fccef