|
Definition
|
Merge branch 'master' into merge-requests/37
|
2021-05-10 10:16:01 +02:00 |
|
Instance
|
Merge branch 'master' into merge-requests/37
|
2021-05-10 10:16:01 +02:00 |
|
Workflow
|
feat(workflows): new field CaptureDateTime
|
2021-06-09 13:12:01 +02:00 |
|
Definition.hs
|
feat(workflows): placeholder handlers
|
2020-09-30 16:51:24 +02:00 |
|
Instance.hs
|
feat(workflows): placeholder handlers
|
2020-09-30 16:51:24 +02:00 |
|
Workflow.hs
|
feat(workflows): placeholder handlers
|
2020-09-30 16:51:24 +02:00 |
