mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-10 03:45:49 +08:00
Changed directory structure
This commit is contained in:
1 parent
a215171750
commit
e01a6cd0f8
20 files changed
+14
-14
No files matched your search
Vendored
+9
@@ -0,0 +1,9 @@
|
||||
[theme]
|
||||
inherit = basic
|
||||
stylesheet = flasky.css
|
||||
pygments_style = flask_theme_support.FlaskyStyle
|
||||
|
||||
[options]
|
||||
index_logo =
|
||||
index_logo_height = 120px
|
||||
touch_icon =
|
||||
Reference in new issue
Block a user