IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2024-11-22 08:46:39 -06:00
Code Issues Packages Projects Releases Wiki Activity
445abf1e31
pgadmin4/pkg/linux
History
Dave Page 445abf1e31 Quieten pushd/popd
2020-06-02 13:14:02 +01:00
..
build-functions.sh Quieten pushd/popd 2020-06-02 13:14:02 +01:00
config_distro.py Add experimental scripts for building Debian/Ubuntu packages. 2020-03-12 15:24:58 +00:00
pgadmin4.desktop Add experimental scripts for building Debian/Ubuntu packages. 2020-03-12 15:24:58 +00:00
README Add experimental scripts for building Debian/Ubuntu packages. 2020-03-12 15:24:58 +00:00
setup-web.sh Message clarification and improvement. 2020-05-26 15:02:59 +01:00

README 

This directory contains package build scripts and assets that are common to various Linux distributions. 

You should not use them directly!