zeripath e55c874dd2 Add work path CLI option (#6922)
Makes it possible to set the work path as a CLI option instead of
relying on environment variables which are somewhat opaque
2019-05-14 11:20:35 -04:00
..
2019-04-02 08:48:31 +01:00
2019-05-13 11:38:53 -04:00
2019-04-02 08:48:31 +01:00
2019-04-02 08:48:31 +01:00
2019-05-14 11:20:35 -04:00