Fix double dashes

This commit is contained in:
Thomas Trepl 2023-05-01 16:04:45 +02:00
parent b0120361f3
commit a4e48bc4ec