removed getString() from Headers; you shouldn't be using it
authoradam <adam@megacz.com>
Sat, 2 Jul 2005 09:27:01 +0000 (09:27 +0000)
committeradam <adam@megacz.com>
Sat, 2 Jul 2005 09:27:01 +0000 (09:27 +0000)
darcs-hash:20050702092701-5007d-b860d798a303f46e20a7dc900233090eb9883864.gz

src/org/ibex/mail/Headers.java

index 5c2c479..3275423 100644 (file)
@@ -64,7 +64,7 @@ public class Headers extends JS.Immutable implements Fountain {
     public Stream getStreamWithCRLF() { return new Stream(raw+"\r\n"); }
     
     // FIXME
-    public String getString() { return raw; }
+    //public String getString() { return raw; }
 
     public Headers(Stream stream) throws Malformed { this(stream, false); }
     public Headers(Stream stream, boolean assumeMime) throws Malformed {