diff options
| author | Joris | 2020-01-19 16:14:09 +0100 |
|---|---|---|
| committer | Joris | 2020-01-19 16:14:09 +0100 |
| commit | 209008f155068835077719eeec942a9b979b3a04 (patch) | |
| tree | 69aa81418e31087a14e2e3cf8645a75e8c7aed39 /common/src/Common/Model/InitResult.hs | |
| parent | af8353c6164aaaaa836bfed181f883ac86bb76a5 (diff) | |
Keep button size while waiting
Diffstat (limited to 'common/src/Common/Model/InitResult.hs')
0 files changed, 0 insertions, 0 deletions