diff options
| author | Joris | 2020-06-28 10:37:08 +0200 |
|---|---|---|
| committer | Joris | 2020-06-28 10:37:08 +0200 |
| commit | 371449b0e312a03162b78797b83dee9d81706669 (patch) | |
| tree | a13ab20a99122a45b66c839e4864a7bf3a90684d /common/src/Common/Model/InitResult.hs | |
| parent | ec90b6ddf191eef8866c82eb619af782f9c9e677 (diff) | |
Fix responsive header
Diffstat (limited to 'common/src/Common/Model/InitResult.hs')
0 files changed, 0 insertions, 0 deletions