diff options
| author | bjorn <bjorn@bringert.net> | 2008-10-24 14:00:24 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-10-24 14:00:24 +0000 |
| commit | d5678ee2de8a363f2082c7fa48ae760021ed57a9 (patch) | |
| tree | 107f44d8150f51c55b357934a1af0ca1c1248b21 /src/server | |
| parent | a2503e3b0f19378c449f95bf4fa74ef0953dfc7b (diff) | |
GWT code import tweak.
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGF.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGF.java b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGF.java index 4f75a15ae..a817b465d 100644 --- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGF.java +++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGF.java @@ -1,6 +1,6 @@ package se.chalmers.cs.gf.gwt.client; -import static se.chalmers.cs.gf.gwt.client.JSONRequestBuilder.Arg; +import se.chalmers.cs.gf.gwt.client.JSONRequestBuilder.Arg; import com.google.gwt.core.client.JavaScriptObject; |