Make the location of the diary file configurable.
commit346e70596c8e44d9bba40ec756280d54ba4640fb
authorChristian Egli <christian.egli@alumni.ethz.ch>
Tue, 17 Jun 2008 22:22:33 +0000 (18 00:22 +0200)
committerChristian Egli <christian.egli@alumni.ethz.ch>
Tue, 17 Jun 2008 22:22:33 +0000 (18 00:22 +0200)
tree4c0eb658ab51fb6f8509cc1fba3cf8f5ff25a340
parent2a8f099e7e4e85ae85864e9ab78122a79f5f7560
Make the location of the diary file configurable.
contrib/ChangeLog
contrib/scripts/org2hpda