fix renumbering in cnfvar.py
authorPhilipp Gesang <philipp.gesang@intra2net.com>
Tue, 5 Dec 2017 10:02:18 +0000 (11:02 +0100)
committerChristian Herdtweck <christian.herdtweck@intra2net.com>
Mon, 5 Nov 2018 11:16:39 +0000 (12:16 +0100)
commitfb356a82a7d76f104ff1cb680832f749dcba042a
tree22bc2200446a934bbf4ae628540b9740b1e73130
parent16453ac56da24e2356454a6a2e85350ac7f5e213
fix renumbering in cnfvar.py
src/cnfvar.py