Searched refs:PRE_LABEL_MARKER (Results 1 – 1 of 1) sorted by relevance
31 const char PRE_LABEL_MARKER = '\013'; variable522 pending_line += PRE_LABEL_MARKER; in do_file()663 if (*ptr == PRE_LABEL_MARKER || *ptr == POST_LABEL_MARKER in split_punct()861 if (c == PRE_LABEL_MARKER) { in handle_pending()890 if (c == PRE_LABEL_MARKER) { in handle_pending()910 case PRE_LABEL_MARKER: in process()