moved label from repo root to proper folder, see #651

This commit is contained in:
Armin Briegel
2022-08-16 16:19:40 +02:00
parent 124c0cf85f
commit b44fe47bf0