Commit Graph

2 Commits

Author SHA1 Message Date
Sylvestre Ledru
e51d461208 rebase of the patch 2019-12-25 18:37:42 +01:00
Gianfranco Costamagna
3e6b8215c4 Add patch to take care of z3 enable or disable in rules file 2019-11-26 09:47:49 +01:00