diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-25 16:43:48 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-25 16:43:48 +0000 |
| commit | b96b36f43de3e2f8b58d5f539daa6f6d47f25870 (patch) | |
| tree | 0992334be13cec6538a1dea22fbbf26ad6bdf224 /src/JavaGUI/Utils.java | |
| parent | fe367412e0aeb4ad5c02de68e6eca382e0f96984 (diff) | |
removed src for 2.9
Diffstat (limited to 'src/JavaGUI/Utils.java')
| -rw-r--r-- | src/JavaGUI/Utils.java | 22 |
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; - } -} |
