added margin for progress-bar in job-progess

Fin Reinhard

14.31.2019 2a73ede6a3f2948767a397744bd604c2d2f6d33f

1
2
3
4
5
6
import {changeFilter, requestLogReload} from './log';
import {loadVersion} from './version';
 
export {changeFilter, requestLogReload};
 
export {loadVersion};