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
8368eed645
pgadmin4/pkg/linux
History
Dave Page 8368eed645 Ensure that 'setup-web.sh' should work in Debian 10. Fixes #5775.
2020-08-27 19:21:21 +05:30
..
build-functions.sh Include LICENSE and DEPENDENCIES [inventory] files in official packages. Fixes #5577 2020-07-17 17:06:16 +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 Ensure that 'setup-web.sh' should work in Debian 10. Fixes #5775. 2020-08-27 19:21:21 +05:30

README 

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

You should not use them directly!