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 33 import java.util.*; | Line 33 import java.util.*; |
33 | */ | */ |
34 | ||
35 | public class LinebreakingUtil { | public class LinebreakingUtil { |
String rcsid = "$Id$"; | ||
36 | ||
37 | public static final int GLUE_LENGTH = 0; | public static final int GLUE_LENGTH = 0; |
38 | public static final int GLUE_STRETCH = 1; | public static final int GLUE_STRETCH = 1; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |