Better way of creating orig files (2017-08-17) master
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Thu, 22 Aug 2019 14:14:33 +0000 (16:14 +0200)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Thu, 22 Aug 2019 14:14:33 +0000 (16:14 +0200)
commitc930fc4b6a5ec2d7972e6b7144272928361948cd
tree1c8b61ee42a25e8fdc7381cc31c6e670e6b306a4
parentc02ccbc6fc0ad4fff7996ae36d2b3b64214c19c8
Better way of creating orig files (2017-08-17)
HOWTO-orig.sh