rm useless files

JuliaLang · Aug 12, 2022 · 04e3187 · 04e3187
1 parent 5d5dadc
commit 04e3187
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 51 deletions.
diff --git a/src/gc-pool-alloc.c b/src/gc-pool-alloc.c
diff --git a/src/gc-pool-alloc.h b/src/gc-pool-alloc.h