25 lines
358 B
Plaintext
25 lines
358 B
Plaintext
include "html_common.outlang"
|
|
|
|
doctemplate
|
|
" * <!-- Generated by Source-highlight -->
|
|
* <pre><tt>
|
|
"
|
|
" * </tt></pre>
|
|
"
|
|
end
|
|
|
|
nodoctemplate
|
|
" * <!-- Generated by Source-highlight -->
|
|
* <pre><tt>
|
|
"
|
|
" * </tt></pre>
|
|
"
|
|
end
|
|
|
|
lineprefix " * "
|
|
|
|
translations
|
|
"*/" "*/" # this avoids the */ to be interpreted as
|
|
# the end of a comment inside a javadoc comment
|
|
end
|