Skip to content

Commit

Permalink
Fix gitmodules
Browse files Browse the repository at this point in the history
  • Loading branch information
benjamc committed Aug 8, 2023
1 parent 0970082 commit 04543d8
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions .gitmodules
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[submodule "src/envs/mario/TOAD-GUI"]
path = src/envs/mario/TOAD-GUI
[submodule "carl/envs/mario/TOAD-GUI"]
path = carl/envs/mario/TOAD-GUI
url = https://github.com/Mawiszus/TOAD-GUI
[submodule "src/envs/mario/Mario-AI-Framework"]
path = src/envs/mario/Mario-AI-Framework
[submodule "carl/envs/mario/Mario-AI-Framework"]
path = carl/envs/mario/Mario-AI-Framework
url = https://github.com/frederikschubert/Mario-AI-Framework

0 comments on commit 04543d8

Please sign in to comment.