Michael Banck 34a819de67 * debian/patches/offline_intersphinx.patch: Refreshed. ... * debian/patches/requirements_setuptools.patch: Refreshed.		2020-10-02 19:33:54 +02:00
debian	* debian/patches/offline_intersphinx.patch: Refreshed.	2020-10-02 19:33:54 +02:00