commit | 157df0279ee0772d9649c4bf2f345dcebd57c001 | [log] [tgz] |
---|---|---|
author | James E. Blair <jeblair@redhat.com> | Fri Jun 23 20:24:11 2017 +0100 |
committer | James E. Blair <jeblair@redhat.com> | Wed Jul 05 14:38:31 2017 -0700 |
tree | f5f61c10a020f747974fd4a40ad2ea6920bfd5db | |
parent | eff5a9d8d729f0a99b9623d50063ac70b6a43c70 [diff] |
Use oslosphinx theme It looks nicer than the default, and many of our other docs use it. Change-Id: I907518e9c86655c7be91996e246e35d01b7ef393