mirror of
https://github.com/dimitri/pgloader.git
synced 2026-01-22 15:41:03 +01:00
15 lines
347 B
Plaintext
15 lines
347 B
Plaintext
--- a/docs/conf.py
|
|
+++ b/docs/conf.py
|
|
@@ -92,11 +92,6 @@ html_theme = 'sphinx_rtd_theme'
|
|
#
|
|
# html_theme_options = {}
|
|
html_theme_options = {
|
|
- 'github_user': 'dimitri',
|
|
- 'github_repo': 'pgloader',
|
|
- 'description': 'your migration companion',
|
|
- 'travis_button': True,
|
|
- 'show_related': True,
|
|
#'sidebar_collapse': False,
|
|
}
|
|
|