diff options
| author | Erich Eckner <git@eckner.net> | 2018-08-30 16:34:41 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-08-30 16:34:41 +0200 |
| commit | c8646a1073a07c9cc245711f22b38232cec3615d (patch) | |
| tree | 95e002d69d22766c0dbdaf6829dac40b63f68a90 | |
| parent | 669f7fb375cca7c17dee5710f369ebae7cd40581 (diff) | |
| download | packages-c8646a1073a07c9cc245711f22b38232cec3615d.tar.xz | |
extra/ostree: fix is obsolete
| -rw-r--r-- | extra/ostree/PKGBUILD | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/extra/ostree/PKGBUILD b/extra/ostree/PKGBUILD deleted file mode 100644 index 8ff2fdc2..00000000 --- a/extra/ostree/PKGBUILD +++ /dev/null @@ -1,8 +0,0 @@ -# see also https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902194 - -eval "$( - declare -f prepare | \ - sed ' - /git submodule update/ a git cherry-pick -n 1174d9f5ba537562c67084caf0214544fbb14ffc - ' -)" |