From 42fc8cb3d747cefac5333b5afa56d66b8afd71e7 Mon Sep 17 00:00:00 2001 From: Erik Faye-Lund Date: Tue, 9 Mar 2010 01:00:36 +0100 Subject: [PATCH] remove unused ini-file --- editor/rocket.ini | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 editor/rocket.ini diff --git a/editor/rocket.ini b/editor/rocket.ini deleted file mode 100644 index 26dfbb5..0000000 --- a/editor/rocket.ini +++ /dev/null @@ -1,3 +0,0 @@ -[GUI] -fontHeight = 14 -fontWidth = 5 \ No newline at end of file