rm agda now

mobusoperandi · Nov 20, 2023 · 04c4353 · 04c4353
1 parent e7a8ebd
commit 04c4353
Showing 1 changed file with 0 additions and 31 deletions.
diff --git a/mobs/agda_now.yaml b/mobs/agda_now.yaml