Cleanup *.repos files

ubi-agni · Sep 10, 2023 · 6e1ba34 · 6e1ba34
1 parent bd23066
commit 6e1ba34
Show file tree

Hide file tree

Showing 4 changed files with 601 additions and 511 deletions.
diff --git a/1-robot.repos b/1-robot.repos
diff --git a/2-desktop.repos b/2-desktop.repos