From 36b9e9fcdad06d5e927ebd2ef91873f72f088041 Mon Sep 17 00:00:00 2001 From: Nathan Binkert Date: Sat, 17 Sep 2005 10:43:05 -0400 Subject: [PATCH] Simple option cleanup in the config files. --HG-- extra : convert_revision : 50b9a1bf79705badabc6e0a6b4402e79997866e6