##// END OF EJS Templates
ui: dropped the custom font in favor of builtin ones....
ui: dropped the custom font in favor of builtin ones. - this is faster to load/display and produces less problems with UI on multiple platforms - fixed few ui elements after changes

File last commit:

r3114:99e2f61b merge default
r3164:9a2c9ca9 default
Show More
.release.cfg
33 lines | 403 B | text/x-ini | IniLexer
[DEFAULT]
done = false
[task:bump_version]
done = true
[task:rc_tools_pinned]
done = true
[task:fixes_on_stable]
done = true
[task:pip2nix_generated]
done = true
[task:changelog_updated]
done = true
[task:generate_api_docs]
done = true
[release]
state = prepared
version = 4.11.6
[task:updated_translation]
[task:generate_js_routes]
[task:updated_trial_license]
[task:generate_oss_licenses]