Eugen Rochko 729723f857 Add option to disable real-time updates in web UI (#9984) ... Fix #9031 Fix #7913		2019-07-16 16:11:50 +02:00
..
appearance	Add option to disable real-time updates in web UI (#9984)	2019-07-16 16:11:50 +02:00
notifications	…
other	…