Dave Halter 8f96cbdabf Replace the old flask theme with the sphinx_rtd_theme

2020-03-16 01:28:06 +01:00

..

custom_style.css

Replace the old flask theme with the sphinx_rtd_theme

2020-03-16 01:28:06 +01:00

logo-src.txt

* removing claim from jedi-logo

2013-07-05 14:42:08 +02:00

logo.png

* removing claim from jedi-logo

2013-07-05 14:42:08 +02:00