diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2018-09-14 12:25:00 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-09-14 12:25:00 -0700 |
commit | 6173ef2eb2030735a6614c188e90e8cdbbb9b486 (patch) | |
tree | 4defcf81d57e7e60c1062e214e6b63d01830e8e6 /desktop-widgets/mainwindow.ui | |
parent | 74b245a3a91ea6bdaeb27ef66c821a1261ccf062 (diff) | |
download | subsurface-6173ef2eb2030735a6614c188e90e8cdbbb9b486.tar.gz |
Fix compilation problem
Never commit a change you didn't test.
Oh well. Sorry.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/mainwindow.ui')
0 files changed, 0 insertions, 0 deletions