summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
f32aea6)
After merging
967e6d4 preferences.show.{preferred_editor, preferred_languages} are not used anymore.
preferences:
show:
title: My Preferences
preferences:
show:
title: My Preferences
- preferred_editor: Preferred Editor
- preferred_languages: Preferred Languages
preferred_site_color_scheme: Preferred Website Color Scheme
site_color_schemes:
auto: Auto
preferred_site_color_scheme: Preferred Website Color Scheme
site_color_schemes:
auto: Auto