diff --git a/preferences.xml b/preferences.xml index ec3b28b33..a714cb827 100644 --- a/preferences.xml +++ b/preferences.xml @@ -714,6 +714,7 @@ Started September 2000 by David Megginson, david@megginson.com true nimitz_demo + true