.gitmodules 75 B

123
  1. [submodule "bora"]
  2. path = bora
  3. url = https://github.com/kit-ipe/bora.git