filename.cpp revision 259065
1const char *current_filename = 0; 2const char *current_source_filename = 0; 3
1const char *current_filename = 0; 2const char *current_source_filename = 0; 3