From 89cb6392f23b689f18a91dd72d726e4ed05382da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roland=20Lei=C3=9Fa?= <leissa@uni-mannheim.de>
Date: Wed, 3 Apr 2024 15:27:16 +0200
Subject: [PATCH] ad_mem.thorin.disabled2 -> ad_mem.thorin.disabled

removed old ad_mem.thorin.disabled
see #271
---
 lit/direct/{ad_mem.thorin.disabled2 => ad_mem.thorin.disabled} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename lit/direct/{ad_mem.thorin.disabled2 => ad_mem.thorin.disabled} (100%)

diff --git a/lit/direct/ad_mem.thorin.disabled2 b/lit/direct/ad_mem.thorin.disabled
similarity index 100%
rename from lit/direct/ad_mem.thorin.disabled2
rename to lit/direct/ad_mem.thorin.disabled