diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2015-07-20 15:48:58 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2015-07-20 15:48:58 +0200 |
| commit | 504ef0b72ebd951e3f3f493435fb96713a2b4efe (patch) | |
| tree | f6c933e6396aae8a2ec85ed70876273da9778353 /.gitignore | |
| parent | 75a1cfe337fa457e1eabd370e6090d7235bd8c1e (diff) | |
rely on refreshUi/refreshUiReal and make sure it is being used everywhere
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions