From 8c14e9527b48e1d7e18c4bb7e69c62dce71bc836 Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Thu, 7 Sep 2023 20:26:18 -0700
Subject: [PATCH] [ test ] move test to correct location

---
 tests/idris2/{total020 => total/total021}/Issue-3030.idr  | 0
 tests/idris2/{total020 => total/total021}/Issue-3030b.idr | 0
 tests/idris2/{total020 => total/total021}/Issue-524.idr   | 0
 tests/idris2/{total020 => total/total021}/expected        | 0
 tests/idris2/{total020 => total/total021}/run             | 0
 5 files changed, 0 insertions(+), 0 deletions(-)
 rename tests/idris2/{total020 => total/total021}/Issue-3030.idr (100%)
 rename tests/idris2/{total020 => total/total021}/Issue-3030b.idr (100%)
 rename tests/idris2/{total020 => total/total021}/Issue-524.idr (100%)
 rename tests/idris2/{total020 => total/total021}/expected (100%)
 rename tests/idris2/{total020 => total/total021}/run (100%)

diff --git a/tests/idris2/total020/Issue-3030.idr b/tests/idris2/total/total021/Issue-3030.idr
similarity index 100%
rename from tests/idris2/total020/Issue-3030.idr
rename to tests/idris2/total/total021/Issue-3030.idr
diff --git a/tests/idris2/total020/Issue-3030b.idr b/tests/idris2/total/total021/Issue-3030b.idr
similarity index 100%
rename from tests/idris2/total020/Issue-3030b.idr
rename to tests/idris2/total/total021/Issue-3030b.idr
diff --git a/tests/idris2/total020/Issue-524.idr b/tests/idris2/total/total021/Issue-524.idr
similarity index 100%
rename from tests/idris2/total020/Issue-524.idr
rename to tests/idris2/total/total021/Issue-524.idr
diff --git a/tests/idris2/total020/expected b/tests/idris2/total/total021/expected
similarity index 100%
rename from tests/idris2/total020/expected
rename to tests/idris2/total/total021/expected
diff --git a/tests/idris2/total020/run b/tests/idris2/total/total021/run
similarity index 100%
rename from tests/idris2/total020/run
rename to tests/idris2/total/total021/run