From e74cde76c104df82b120a7b13964cb786da8f565 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Mon, 22 May 2023 20:18:50 +0200 Subject: community -> extra --- community/python-sphinxcontrib-devhelp/PKGBUILD | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 community/python-sphinxcontrib-devhelp/PKGBUILD (limited to 'community/python-sphinxcontrib-devhelp/PKGBUILD') diff --git a/community/python-sphinxcontrib-devhelp/PKGBUILD b/community/python-sphinxcontrib-devhelp/PKGBUILD deleted file mode 100644 index 6403c888..00000000 --- a/community/python-sphinxcontrib-devhelp/PKGBUILD +++ /dev/null @@ -1,2 +0,0 @@ -unset check -unset checkdepends -- cgit v1.2.3-70-g09d2