update patch for new file layout

diff --git a/debian/patches/debian-build.source.diff b/debian/patches/debian-build.source.diff
index a9c5815e08d13862c94e01955df40155198226f3..87239764016df0a36c9d2372fac134cb415c0fc6 100644 (file)
--- a/debian/patches/debian-build.source.diff
+++ b/debian/patches/debian-build.source.diff
@@ -1,4 +1,4 @@
-diff --git a/build.properties b/build.properties
+diff --git a/core/resources/build.properties b/core/resources/build.properties
 index 73ec3d0..e0cd5fa 100644
 --- a/build.properties
 +++ b/build.properties