diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-07-31T18·32+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-07-31T18·32+0100 |
| commit | cf5d211477daefd105f9cd8f59195cb4d538086e (patch) | |
| tree | 17446c16c65bd1edc50626807c302c9fc60b0555 /client/src/State.elm | |
| parent | 4d30a80487fae26e9b0395270dec1a1792a67b6a (diff) | |
Support UI.disabledButton
While this isn't necessary, it tidies up the code a bit.
Diffstat (limited to 'client/src/State.elm')
0 files changed, 0 insertions, 0 deletions