summaryrefslogtreecommitdiff
path: root/src/JavaGUI/Utils.java
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-25 16:43:48 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-25 16:43:48 +0000
commitb96b36f43de3e2f8b58d5f539daa6f6d47f25870 (patch)
tree0992334be13cec6538a1dea22fbbf26ad6bdf224 /src/JavaGUI/Utils.java
parentfe367412e0aeb4ad5c02de68e6eca382e0f96984 (diff)
removed src for 2.9
Diffstat (limited to 'src/JavaGUI/Utils.java')
-rw-r--r--src/JavaGUI/Utils.java22
1 files changed, 0 insertions, 22 deletions
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;
- }
-}