Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
7 lines (6 sloc) 122 Bytes
/phpext_/ {
if (old_filename != FILENAME) {
printf "#include \"" FILENAME "\"@NEWLINE@"
old_filename = FILENAME
}
}
Something went wrong with that request. Please try again.