diff options
author | Aaron M. Renn <arenn@urbanophile.com> | 1998-12-02 01:23:17 +0000 |
---|---|---|
committer | Aaron M. Renn <arenn@urbanophile.com> | 1998-12-02 01:23:17 +0000 |
commit | ee54687c3559136093ab81256198828376e29267 (patch) | |
tree | 34cc1ccd1772486de13b574c4f325c1694849a4e /java/io/PushbackInputStream.java | |
parent | 1407ba060db74a0f3e6ab8970ad2708078716a2e (diff) | |
download | classpath-ee54687c3559136093ab81256198828376e29267.tar.gz |
Added comments in code requesting that non-spec public methods not be deleted
Diffstat (limited to 'java/io/PushbackInputStream.java')
-rw-r--r-- | java/io/PushbackInputStream.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/java/io/PushbackInputStream.java b/java/io/PushbackInputStream.java index bc7836621..a745e41c7 100644 --- a/java/io/PushbackInputStream.java +++ b/java/io/PushbackInputStream.java @@ -141,6 +141,8 @@ markSupported() /*************************************************************************/ +// Don't delete this method just because the spec says it shouldn't be +// there. See the CVS log for details. /** * This method always throws an IOException in this class because * mark/reset functionality is not supported. |