rename file

viperproject · Nov 15, 2024 · 449b3f9 · 449b3f9
1 parent fc06cbf
commit 449b3f9
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/router/assumptions.gobra → router/post-init-invs.gobra b/router/assumptions.gobra → router/post-init-invs.gobra