Remove useless old larabot file (#1634)

epfl-lara · Jan 24, 2025 · 5ca2042 · 5ca2042
1 parent dc80458
commit 5ca2042
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 45 deletions.
diff --git a/.larabot.conf b/.larabot.conf
diff --git a/inox b/inox