new PixelBuffer API (mainly tons of renames)

[org.ibex.core.git] / src / org / ibex / plat / Platform.java

diff --git a/src/org/ibex/plat/Platform.java b/src/org/ibex/plat/Platform.java
index f0161ee..321a80d 100644 (file)
--- a/src/org/ibex/plat/Platform.java
+++ b/src/org/ibex/plat/Platform.java
@@ -51,7 +51,7 @@ public abstract class Platform {
             String os_name = System.getProperty("os.name", "");
             String os_version = System.getProperty("os.version", "");
             String platform_class = null;
-            
+
             if (vendor.startsWith("Free Software Foundation")) {
                 if (os_name.startsWith("Window")) platform_class = "Win32";
                 else if (os_name.startsWith("Linux")) platform_class = "Linux";