SMT-for-IN3070/.gitmodules

4 lines
81 B
Plaintext
Raw Permalink Normal View History

2019-11-19 18:45:54 +00:00
[submodule "Rethink"]
path = Rethink
url = git@github.com:larstvei/Rethink.git