From 814320124e67ff42cac90084bc873b5c594754b5 Mon Sep 17 00:00:00 2001
From: Lorenz Lehmann <lorenz.lehmann@students.muho-mannheim.de>
Date: Mon, 12 Feb 2024 07:36:52 +0100
Subject: [PATCH] fix (sources): rule lists have the correct length

---
 0 files changed, 0 insertions(+), 0 deletions(-)


--
Gitblit v1.9.1