]> git.gag.com Git - debian/openrocket/blob - debian/patches/series
Merge branch 'upstream' into debian
[debian/openrocket] / debian / patches / series
1 debian-build.source.diff
2 openjdk-is-ok.diff
3 use-system-libs.diff