make using /tmp for the debian folder configurable (but it remains the default)
authorRalf Jung <post@ralfj.de>
Mon, 2 Sep 2013 16:03:20 +0000 (18:03 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 2 Sep 2013 16:03:20 +0000 (18:03 +0200)
commit39c140db8f8b040fc25e118ee17b4aee2217643a
treec5ac86f00e72fe6b5e85b58c91ec897dbbbdaec7
parent07e101d3ec702bb92eb0efe2143147409f98a094
make using /tmp for the debian folder configurable (but it remains the default)
auto_debuild.py