renaming options + adding glpk verbose option
authorMatthias Wachs <wachs@net.in.tum.de>
Tue, 28 Jan 2014 15:16:16 +0000 (15:16 +0000)
committerMatthias Wachs <wachs@net.in.tum.de>
Tue, 28 Jan 2014 15:16:16 +0000 (15:16 +0000)
commit8da9b26344eced5d7cfec389be99da4a3708294c
tree997b3b928c5fb73f1ce33c6950fb6c0ec2ff7d1f
parent993635e2173c3dfd1990e9a0e64314ad729ea749
renaming options + adding glpk verbose option
src/ats/ats.conf.in