reproducible-headers
text/plain
Filename: reproducible-headers
Type: text/plain
Part: 0
diff --git a/src/backend/catalog/genbki.pl b/src/backend/catalog/genbki.pl new file mode 100644 index 256a9c9..30153e6 *** a/src/backend/catalog/genbki.pl --- b/src/backend/catalog/genbki.pl *************** print $schemapg <<EOM; *** 340,346 **** * *** DO NOT EDIT THIS FILE! *** * ****************************** * ! * It has been GENERATED by $0 * *------------------------------------------------------------------------- */ --- 340,346 ---- * *** DO NOT EDIT THIS FILE! *** * ****************************** * ! * It has been GENERATED by genbki.pl * *------------------------------------------------------------------------- */ diff --git a/src/backend/utils/Gen_fmgrtab.pl b/src/backend/utils/Gen_fmgrtab.pl new file mode 100644 index ee89d50..c9f948f *** a/src/backend/utils/Gen_fmgrtab.pl --- b/src/backend/utils/Gen_fmgrtab.pl *************** qq|/*----------------------------------- *** 118,124 **** * *** DO NOT EDIT THIS FILE! *** * ****************************** * ! * It has been GENERATED by $0 * from $infile * *------------------------------------------------------------------------- --- 118,124 ---- * *** DO NOT EDIT THIS FILE! *** * ****************************** * ! * It has been GENERATED by Gen_fmgrtab.pl * from $infile * *------------------------------------------------------------------------- *************** qq|/*----------------------------------- *** 153,159 **** * *** DO NOT EDIT THIS FILE! *** * ****************************** * ! * It has been GENERATED by $0 * from $infile * *------------------------------------------------------------------------- --- 153,159 ---- * *** DO NOT EDIT THIS FILE! *** * ****************************** * ! * It has been GENERATED by Gen_fmgrtab.pl * from $infile * *------------------------------------------------------------------------- *************** qq|/*----------------------------------- *** 181,187 **** * *** DO NOT EDIT THIS FILE! *** * ****************************** * ! * It has been GENERATED by $0 * from $infile * *------------------------------------------------------------------------- --- 181,187 ---- * *** DO NOT EDIT THIS FILE! *** * ****************************** * ! * It has been GENERATED by Gen_fmgrtab.pl * from $infile * *-------------------------------------------------------------------------