From 7fab23dfcc4d86f6fa77507d69f7e966964dd627 Mon Sep 17 00:00:00 2001 From: ThorstenB Date: Wed, 18 Jul 2012 20:50:43 +0200 Subject: [PATCH] Remove obsolete AI preferences. Old ATCDCL preferences are no longer references anywhere. --- preferences.xml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/preferences.xml b/preferences.xml index 4211afe53..19543c10d 100644 --- a/preferences.xml +++ b/preferences.xml @@ -701,12 +701,6 @@ Started September 2000 by David Megginson, david@megginson.com - - - false - 1 - - true true