update build.source at upstream request to brand build as Debian's
[debian/openrocket] / debian / patches /
drwxr-xr-x   ..
-rw-r--r-- 417 debian-build.source.diff
-rw-r--r-- 459 openjdk-is-ok.diff
-rw-r--r-- 65 series
-rw-r--r-- 2219 use-system-libs.diff