Package org.gjt.sp.util

Utility classes used by jEdit but that do not depend on jEdit itself.
Skip navigation links