Parent Directory | Revision Log | Patch
revision 1.1 by benja, Sun Mar 16 15:55:04 2003 UTC | revision 1.2 by tjl, Wed Sep 10 13:40:53 2003 UTC | |
---|---|---|
# | Line 36 import java.util.*; | Line 36 import java.util.*; |
36 | */ | */ |
37 | ||
38 | public interface Linebreaker { | public interface Linebreaker { |
String rcsid = "$Id$"; | ||
39 | ||
40 | int GLUE_LENGTH = 0; | int GLUE_LENGTH = 0; |
41 | int GLUE_STRETCH = 1; | int GLUE_STRETCH = 1; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |