Lines Matching refs:JSDatePrint
6105 inline void JSDatePrint() {6106 JSDatePrint(stdout);6108 void JSDatePrint(FILE* out);