 RichardG867
|
a195b30b4c
Add option to disable the settings page
|
5 years ago |
|
RichardG867
|
59239d15b1
Clarify some more things
|
5 years ago |
|
RichardG867
|
471ae3f9c1
Add a config option to prevent the proxy from getting too far ahead in the future
|
5 years ago |
|
RichardG867
|
d0d6ea3c4a
Implement SILENT, fix printing of non-strings
|
5 years ago |
|
RichardG867
|
413a67f763
Rebase the much better HTML patching code I had stuck in a private fork
|
5 years ago |
|
RichardG867
|
e47a6c5cad
Python 3 update
|
5 years ago |
|
RichardG867
|
57a3b6d669
Rename settings to config, just because.
|
10 years ago |
