update build.source at upstream request to brand build as Debian's
[debian/openrocket] / debian / patches / debian-build.source.diff
1 diff --git a/build.properties b/build.properties
2 index 73ec3d0..e0cd5fa 100644
3 --- a/build.properties
4 +++ b/build.properties
5 @@ -8,7 +8,7 @@ build.version=1.0.0
6  # distribution (Debian, Fedora etc.), this should be changed appropriately!
7  # This is included in bug reports to identify the source of the software.
8  
9 -build.source=default
10 +build.source=Debian
11  
12  
13  # Whether checking for updates is enabled by default.