From 0640431e3ff4ccc9e2768722a6e3ecb1a224506c Mon Sep 17 00:00:00 2001
From: Veit Berwig <veit.berwig@stk.landsh.de>
Date: Tue, 28 Jan 2025 09:21:18 +0000
Subject: [PATCH] inst-options.ini ersetzen

-- 
GitLab