__init__.py
|
Update copyright years
|
2018-02-05 12:19:50 +01:00 |
config.py
|
Use hook system for config_changed hook
|
2018-12-10 15:48:26 +01:00 |
configcommands.py
|
Configure coverage.py for "if MYPY:"
|
2018-12-05 09:05:32 +01:00 |
configdata.yml
|
Add setting for DnsPrefetchEnabled
|
2019-02-10 13:15:51 -08:00 |
configfiles.py
|
Fix migration of scrolling.bar
|
2019-01-11 11:26:08 +01:00 |
configtypes.py
|
Fix configtypes.Perc.to_str()
|
2018-12-05 17:15:57 +01:00 |
websettings.py
|
mypy: Add types for config.websettings
|
2018-12-05 17:48:56 +01:00 |