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

Remove citus-tools subproject and add gitignore (#7916)

pull/7914/head
Mehmet YILMAZ 2025-03-06 15:51:01 +03:00 committed by GitHub
parent 43f3786c1f
commit 1d0b15723b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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