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
b6c8707a4d
pgadmin4/pkg/linux
History
Dave Page b6c8707a4d Don't barf if the tree is clean.
2020-03-16 12:40:01 +00:00
..
build-functions.sh Don't barf if the tree is clean. 2020-03-16 12:40:01 +00: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 Add experimental scripts for building Debian/Ubuntu packages. 2020-03-12 15:24:58 +00:00

README 

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

You should not use them directly!