rename some options for a more consistent naming; fix auto-debuild build system
authorRalf Jung <post@ralfj.de>
Wed, 1 Aug 2012 19:37:48 +0000 (21:37 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 1 Aug 2012 19:37:48 +0000 (21:37 +0200)

No differences found