SMT-viewer / .gitmodules
pikween's picture
Upload app
f09d157
raw
history blame contribute delete
75 Bytes
[submodule "SMT"]
path = SMT
url = https://github.com/antoniorv6/SMT.git