Rename box.h to Box.h

GUDHI · Sep 29, 2023 · 2cab388 · 2cab388
1 parent 04d8d8c
commit 2cab388
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...udhi/Simplex_tree/multi_filtrations/box.h → ...udhi/Simplex_tree/multi_filtrations/Box.h b/...udhi/Simplex_tree/multi_filtrations/box.h → ...udhi/Simplex_tree/multi_filtrations/Box.h