Remove a Pipfile?

This slipped through in some merge but I it shouldn't be necessary for anything? Probably committed/not ignored on accident.
2020-09-11 23:27:46 +02:00
1 parent f4f11e6399
commit ec5b4b9a9e
@@ -1,11 +0,0 @@
 [[source]]
 name = "pypi"
 url = "https://pypi.org/simple"
 verify_ssl = true
 [dev-packages]
 [packages]
 [requires]
 python_version = "3.7"