Searched defs:devtag (Results 1 – 2 of 2) sorted by relevance
161 void printer::devtag(char *, const environment *, char) in devtag() function in printer
4913 void html_printer::devtag (char *s, const environment *env, char type) in devtag() function in html_printer