diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-01-12 22:01:39 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-03-07 18:47:18 -0800 |
| commit | 45d37fd51b06680e8b2e75973217e8663597ede3 (patch) | |
| tree | 75db59d5b98c5a5a9e0db1c3ec10920b880dbf70 /desktop-widgets | |
| parent | b92b5998ffab5720aede5c6e0cf7978c2a358763 (diff) | |
| download | subsurface-45d37fd51b06680e8b2e75973217e8663597ede3.tar.gz | |
mobile UI: remove obsolete access to already removed model role
We no longer have a dive role - on the plus side, we also don't use this
variable, so I guess this isn't a big deal.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets')
0 files changed, 0 insertions, 0 deletions