1
0
mirror of https://github.com/postgres/postgres.git synced 2025-08-06 18:42:54 +03:00

Reorganize developers files.

This commit is contained in:
Bruce Momjian
1997-09-08 04:14:01 +00:00
parent 23db70bf73
commit 125079e6d7
12 changed files with 56 additions and 109 deletions

8
src/tools/make_diff/cporig Executable file
View File

@@ -0,0 +1,8 @@
:
for FILE
do
if [ ! -f "$FILE.orig" ]
then cp $FILE $FILE.orig
else echo "$FILE.orig exists" 1>&2
fi
done