diff options
Diffstat (limited to 'desktop/recorditnow/gcc7.patch')
| -rw-r--r-- | desktop/recorditnow/gcc7.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/desktop/recorditnow/gcc7.patch b/desktop/recorditnow/gcc7.patch deleted file mode 100644 index fb3526e925..0000000000 --- a/desktop/recorditnow/gcc7.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- recorditnow-0.8.1/src/mainwindow.cpp.orig 2017-07-09 14:27:15.653631058 +0700 -+++ recorditnow-0.8.1/src/mainwindow.cpp 2017-07-09 14:27:42.712300823 +0700 -@@ -1114,7 +1114,7 @@ - if (m_zoomDock) { - removeDockWidget(m_zoomDock); - delete m_zoomDock; -- m_zoomDock = false; -+ m_zoomDock = 0; - } - } - |