Rename src/refinement/README.md to src/refinement/refiners/README.md

fani-lab · Jul 30, 2024 · 7512234 · 7512234
1 parent fa01768
commit 7512234
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/src/refinement/README.md → src/refinement/refiners/README.md b/src/refinement/README.md → src/refinement/refiners/README.md