Merge pull request #249 from mobusoperandi/rm_agda_now

rm agda now
mobusoperandi · Nov 20, 2023 · 888f6db · 888f6db
2 parents e7a8ebd + 04c4353
commit 888f6db
Showing 1 changed file with 0 additions and 31 deletions.
diff --git a/mobs/agda_now.yaml b/mobs/agda_now.yaml