comparison src/sat.sh @ 1859:ac2ac7fe8a9b

core (memory, config): moved parseMainConf to tools/config so it can be used by frontends too
author Goffi <goffi@goffi.org>
date Mon, 29 Feb 2016 16:13:47 +0100
parents 61c03265e133
children 7a07f232e7cb
comparison
equal deleted inserted replaced
1858:06e13ae616cf 1859:ac2ac7fe8a9b