1
0
Fork 0
mirror of https://github.com/pgpainless/pgpainless.git synced 2025-12-07 04:41:12 +01:00

WIP: Move code to submodule and improve build script

This commit is contained in:
Paul Schaub 2018-07-18 18:23:06 +02:00
parent e1c7ffdd1c
commit 8b40bfc9ef
Signed by: vanitasvitae
GPG key ID: 62BEE9264BF17311
105 changed files with 421 additions and 305 deletions

View file

@ -1,2 +1,4 @@
rootProject.name = 'pgpainless'
rootProject.name = 'PGPainless'
include 'painless-core'