From 26bb5d4f07502d920908ac0c0a4056b3924d9922 Mon Sep 17 00:00:00 2001 From: Enno Rehling Date: Mon, 22 Feb 2021 02:05:47 +0100 Subject: [PATCH] remove unused ini settings --- s/preview | 1 - s/setup | 1 - 2 files changed, 2 deletions(-) diff --git a/s/preview b/s/preview index 717737a02..d1b14488c 100755 --- a/s/preview +++ b/s/preview @@ -58,7 +58,6 @@ cat >| eressea.ini < turn