From 67b80bcd40c7e41a312de845b77506d95b2c7fe6 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 25 Jun 2008 17:05:19 +0000
Subject: removed JavaGUIs from src

---
 src/JavaGUI/Utils.java | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 src/JavaGUI/Utils.java

(limited to 'src/JavaGUI/Utils.java')

diff --git a/src/JavaGUI/Utils.java b/src/JavaGUI/Utils.java
deleted file mode 100644
index b10f54712..000000000
--- a/src/JavaGUI/Utils.java
+++ /dev/null
@@ -1,22 +0,0 @@
-
-import java.io.File;
-
-public class Utils {
-
-    public final static String gf = "gf";
-    public final static String gfcm = "gfcm";
-
-    /*
-     * Get the extension of a file.
-     */
-    public static String getExtension(File f) {
-        String ext = null;
-        String s = f.getName();
-        int i = s.lastIndexOf('.');
-
-        if (i > 0 &&  i < s.length() - 1) {
-            ext = s.substring(i+1).toLowerCase();
-        }
-        return ext;
-    }
-}
-- 
cgit v1.2.3