diff options
| author | Joris | 2018-10-30 20:44:12 +0100 |
|---|---|---|
| committer | Joris | 2018-10-30 20:44:12 +0100 |
| commit | b5244184920b4d7a8d64eada2eca21e9a6ea2df9 (patch) | |
| tree | c15f9e30cb31a3fb067e0660f9cf62a94d452a4c /src/server/Design/Global.hs | |
| parent | 8a28f608d8e08fba4bbe54b46804d261686c3c03 (diff) | |
Use waitfor with delete confirm button
Diffstat (limited to 'src/server/Design/Global.hs')
0 files changed, 0 insertions, 0 deletions