Daniele Varrazzo 0b01ded426 ci: drop github download script ... Easier to do interactively, now that all the artifacts are packaged in the same archive.		2023-04-03 05:10:36 +02:00
..
build	ci: drop github download script	2023-04-03 05:10:36 +02:00
make_errorcodes.py	chore: upgrade error codes to PostgreSQL 15	2022-10-06 02:26:09 +01:00
make_errors.py	chore: upgrade error codes to PostgreSQL 15	2022-10-06 02:26:09 +01:00
refcounter.py	Copyright year updated to 2021	2021-06-15 00:37:22 +01:00