From f06dd5fa76c114cffe06e645b7e9f59168051000 Mon Sep 17 00:00:00 2001
From: Wolfgang Müller
Date: Thu, 24 Feb 2022 14:50:36 +0100
Subject: lang-python: Rename @dev-python to @lang-python

This matches the set up with the role name.
---
 lang-python/sets/dev-python | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 lang-python/sets/dev-python

(limited to 'lang-python/sets/dev-python')

diff --git a/lang-python/sets/dev-python b/lang-python/sets/dev-python
deleted file mode 100644
index 1136a7f..0000000
--- a/lang-python/sets/dev-python
+++ /dev/null
@@ -1,3 +0,0 @@
-dev-python/pip
-dev-python/pylint
-dev-python/virtualenv
-- 
cgit v1.2.3-2-gb3c3