diff options
| author | Joris | 2022-09-04 11:30:17 +0200 |
|---|---|---|
| committer | Joris | 2022-09-04 11:30:17 +0200 |
| commit | d8e39e49d32502a39c1097e2a4ee9354f321220a (patch) | |
| tree | 113010bfb5b4483a1010a50aa595702c1e2ec683 /common/src/Common/Model/InitResult.hs | |
| parent | 29e9883b2045f176dff533850e5fe861ac74db1d (diff) | |
Use run by default in dev-server instead of check
Diffstat (limited to 'common/src/Common/Model/InitResult.hs')
0 files changed, 0 insertions, 0 deletions