• R/O
  • SSH

提交

標籤
無標籤

Frequently used words (click to add to your profile)

javac++androidlinuxc#windowsobjective-ccocoa誰得qtpythonphprubygameguibathyscaphec計画中(planning stage)翻訳omegatframeworktwitterdomtestvb.netdirectxゲームエンジンbtronarduinopreviewer

Commit MetaInfo

修訂d1b84f82943aa0ae915de90bb5af1b01d42ce1ec (tree)
時間2024-04-08 23:57:09
作者Albert Mietus < albert AT mietus DOT nl >
CommiterAlbert Mietus < albert AT mietus DOT nl >

Log Message

'html_context' NO EditOnGitHub button -- works, Now moved to std-conf

Change Summary

差異

diff -r dd69e8f1b9fe -r d1b84f82943a _std_settings/conf/std_conf.py
--- a/_std_settings/conf/std_conf.py Mon Apr 08 16:51:37 2024 +0200
+++ b/_std_settings/conf/std_conf.py Mon Apr 08 16:57:09 2024 +0200
@@ -45,6 +45,7 @@
4545 }
4646 html_style = 'SwBMnl+rtfd.css'
4747
48+html_context={'display_github':False}
4849
4950 #html_logo= ...file...
5051 #html_theme_options['logo_only']=True # True: only logo, False: Logo & name
diff -r dd69e8f1b9fe -r d1b84f82943a conf.py
--- a/conf.py Mon Apr 08 16:51:37 2024 +0200
+++ b/conf.py Mon Apr 08 16:57:09 2024 +0200
@@ -67,4 +67,4 @@
6767 os.system("pip list --outdated")
6868 print("Done =====")
6969
70-html_context={'display_github':False} # No 'edit on github'??
70+