external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove unused citus-tools subproject

m3hm3t/pg18_dev_relation_oid_0
Mehmet Yilmaz 2025-07-02 09:46:04 +00:00
parent 8aaf7bca34
commit f0538e5822
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
citus-tools

@ -1 +0,0 @@
Subproject commit 3376bd6845f0614908ed304f5033bd644c82d3bf