helpful progress reporting

[IRC.git] / Robust / src / Lex / DocumentationComment.java

package Lex;

class DocumentationComment extends Comment {
  DocumentationComment() {
  }
}