pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix README name.

pull/41/head
Dave Page 2021-03-03 16:58:35 +00:00
parent 77949ac4f7
commit ed6ddbb8de
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkg/pip/build.sh
View File

@ -83,7 +83,7 @@ do
done done
cd ../ cd ../
for FILE in LICENSE DEPENDENCIES README for FILE in LICENSE DEPENDENCIES README.md
do do
echo Adding ${FILE} echo Adding ${FILE}
# We use tar here to preserve the path, as Mac (for example) doesn't support cp --parents # We use tar here to preserve the path, as Mac (for example) doesn't support cp --parents