move 86800.rs back to ices

matthiaskrgr · Aug 19, 2022 · f913963 · f913963
1 parent 5aa4928
commit f913963
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/fixed/86800.rs → ices/86800.rs b/fixed/86800.rs → ices/86800.rs