get it right?

diff --git a/debian/patches/debian-build.source.diff b/debian/patches/debian-build.source.diff
index 87239764016df0a36c9d2372fac134cb415c0fc6..21523405dfe764649eb45c89ad9e83a3cb3ebaff 100644 (file)
--- a/debian/patches/debian-build.source.diff
+++ b/debian/patches/debian-build.source.diff
@@ -1,7 +1,7 @@
 diff --git a/core/resources/build.properties b/core/resources/build.properties
 index 73ec3d0..e0cd5fa 100644
---- a/build.properties
-+++ b/build.properties
+--- a/core/resources/build.properties
++++ b/core/resources/build.properties
 @@ -8,7 +8,7 @@ build.version=1.0.0
  # distribution (Debian, Fedora etc.), this should be changed appropriately!
  # This is included in bug reports to identify the source of the software.