Reorganize files.

BrentSeidel · Aug 1, 2023 · 19a8171 · 19a8171
1 parent 56cfed0
commit 19a8171
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 0 deletions.
diff --git a/src/complex/BBS-complex_real.adb → src/BBS-complex_real.adb b/src/complex/BBS-complex_real.adb → src/BBS-complex_real.adb
diff --git a/src/complex/BBS-complex_real.ads → src/BBS-complex_real.ads b/src/complex/BBS-complex_real.ads → src/BBS-complex_real.ads
diff --git a/src/complex/bbs-roots_real.adb → src/bbs-roots_real.adb b/src/complex/bbs-roots_real.adb → src/bbs-roots_real.adb
diff --git a/src/complex/bbs-roots_real.ads → src/bbs-roots_real.ads b/src/complex/bbs-roots_real.ads → src/bbs-roots_real.ads