NOW: update source generator script
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Wed, 19 Oct 2016 15:53:04 +0000 (17:53 +0200)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Wed, 19 Oct 2016 15:53:04 +0000 (17:53 +0200)
commita558b81b33dd4a40638008308ab60cba504ab64b
tree2005c1e26958c746bb75ba094f9f56fbba1ac081
parent649ccc42c8237809040b61374145b40fed183aa3
NOW: update source generator script
NOW/gen.sh