diff options
| author | Erich Eckner <git@eckner.net> | 2020-07-28 16:31:44 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-07-28 16:31:44 +0200 |
| commit | cf14207494c1ae369bb0a644c1dc031c83956092 (patch) | |
| tree | 7b89414975ca67290248dbc5b97780a3f6469709 | |
| parent | 51c90f22ed5f1d5971541c56dfa03fd9231fb67e (diff) | |
| download | packages-cf14207494c1ae369bb0a644c1dc031c83956092.tar.xz | |
community/riot: dropped
| -rw-r--r-- | community/riot/PKGBUILD | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/community/riot/PKGBUILD b/community/riot/PKGBUILD deleted file mode 100644 index b8157632..00000000 --- a/community/riot/PKGBUILD +++ /dev/null @@ -1,3 +0,0 @@ -# no electron => no riot-desktop -pkgname=(${pkgname[@]//riot-desktop/}) -unset -f package_riot-desktop |