https://github.com/fslivovsky/qute
Revision 47dcfc60820719488d9b1e809c1f70ff21d10689 authored by fs on 04 February 2021, 09:39:01 UTC, committed by fs on 04 February 2021, 09:39:01 UTC
1 parent e939b87
Tip revision: 47dcfc60820719488d9b1e809c1f70ff21d10689 authored by fs on 04 February 2021, 09:39:01 UTC
using http URL for minisat submodule
using http URL for minisat submodule
Tip revision: 47dcfc6
File | Mode | Size |
---|---|---|
docopt.cpp @ 3dd23e3 | ||
minisat @ 37dc6c6 | ||
src | ||
.gitmodules | -rw-r--r-- | 173 bytes |
CMakeLists.txt | -rw-r--r-- | 736 bytes |
README.md | -rw-r--r-- | 1020 bytes |
Computing file changes ...