fix the way to get log filename
[doctor.git] / docs / development / design / images /
2017-09-27 Bertrand SouvilleMerge "Add parallel execution and shortcut notification...
2017-09-27 Yujun ZhangAdd parallel execution and shortcut notification to... 57/43257/1