https://github.com/fslivovsky/qute
Raw File
Tip revision: 67c5e54e96eb2ba7aedc18186d5ae62230c4caf8 authored by peitl on 15 July 2022, 15:58:36 UTC
AUTHORS and LICENSE
Tip revision: 67c5e54
.gitmodules
[submodule "minisat"]
	path = minisat
	url = https://github.com/niklasso/minisat.git
[submodule "docopt.cpp"]
	path = docopt.cpp
	url = https://github.com/docopt/docopt.cpp
back to top