must convert path to a property
[debian/openrocket] / debian / patches /
drwxr-xr-x   ..
-rw-r--r-- 459 openjdk-is-ok.diff
-rw-r--r-- 40 series
-rw-r--r-- 1111 use-system-libs.diff