commit | bfb3e63b5a2c690a704654eaf2b3c45261e2195c | [log] [tgz] |
---|---|---|
author | chsaad <christian.saad@informatik.uni-augsburg.de> | Wed May 25 15:54:24 2016 +0200 |
committer | chsaad <christian.saad@informatik.uni-augsburg.de> | Wed May 25 15:54:24 2016 +0200 |
tree | f1e872b7c627e7321c03274adbd7f1e6713a1cd2 | |
parent | bae4f2b0c45e25afe1443ce17286787a42c2249e [diff] |
some improvements to the converter