Minor improvement of comments for SimpleCnf
authorChristian Herdtweck <christian.herdtweck@intra2net.com>
Mon, 2 Dec 2019 12:12:34 +0000 (13:12 +0100)
committerThomas Jarosch <thomas.jarosch@intra2net.com>
Thu, 13 Feb 2020 15:14:43 +0000 (16:14 +0100)
commit6ac093dfeb24bd3e32ccd66c3c4ae0448c006e87
tree697f9ec78f038372800853f472184498fb932865
parentbcd9beb1fc1c2d470a5cbca82bc5a0b0ce1c975e
Minor improvement of comments for SimpleCnf
src/simple_cnf.py