Eugen Rochko 9b1d3e4acb Add option to disable real-time updates in web UI (#9984) ... Fix #9031 Fix #7913		2019-07-16 06:30:47 +02:00
..
clear_column_button.js
column_settings.js
filter_bar.js
notification.js
setting_toggle.js	Add option to disable real-time updates in web UI (#9984)	2019-07-16 06:30:47 +02:00