Searched defs:HEADER_RE (Results 1 - 1 of 1) sorted by relevance

/opengrok/jrcs/src/main/java/org/apache/commons/jrcs/rcs/
H A DKeywordsFormat.java95 private static final String HEADER_RE = "\\$Header(:[^\\$]*)?\\$"; field in class:KeywordsFormat
115 .replaceAll(HEADER_RE, Header_FORMAT.format(revisionInfo))
136 .replaceAll(HEADER_RE, "\\$Header\\$")

Completed in 18 milliseconds