Merge branch 'upstream' into debian
[debian/openrocket] / debian / patches /
drwxr-xr-x   ..
-rw-r--r-- 459 openjdk-is-ok.diff
-rw-r--r-- 40 series
-rw-r--r-- 2219 use-system-libs.diff