This repository has been archived on 2024-01-28. You can view files and clone it, but cannot push or open issues/pull-requests.

Simon Bruder 6b8cb38758 Use reuse specification		2023-05-18 10:53:22 +02:00
..
dep5	Use reuse specification	2023-05-18 10:53:22 +02:00