deprecated old BCC<->CCC

VariantSync · Dec 6, 2023 · caa61e8 · caa61e8
1 parent fe5ecf6
commit caa61e8
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/src/Translation/BCC-to-CCC.lagda.md → ...ranslation/Deprecated/BCC-to-CCC.lagda.md b/src/Translation/BCC-to-CCC.lagda.md → ...ranslation/Deprecated/BCC-to-CCC.lagda.md
diff --git a/src/Translation/CCC-to-BCC.lagda.md → ...ranslation/Deprecated/CCC-to-BCC.lagda.md b/src/Translation/CCC-to-BCC.lagda.md → ...ranslation/Deprecated/CCC-to-BCC.lagda.md