Willem Melching 50e859e6b1 Add timeout to github actions and remove old azure-pipelines file		2020-01-23 11:02:37 -08:00
..
ISSUE_TEMPLATE	add bug report template	2020-01-20 12:15:55 -08:00
workflows	Add timeout to github actions and remove old azure-pipelines file	2020-01-23 11:02:37 -08:00