commit | 35d3fa28e8178cb061bc580685b1c0547734e5ce | [log] [tgz] |
---|---|---|
author | Silvio Heuberger <silvio.heuberger@hsr.ch> | Mon Mar 29 10:59:36 2010 +0200 |
committer | Silvio Heuberger <silvio.heuberger@hsr.ch> | Mon Mar 29 10:59:36 2010 +0200 |
tree | 0bad1d253bd915f9206fe58fc145710698667bce | |
parent | 59b75131f71f98f2c457468240288e649332d241 [diff] |
This method is not needed anywhere else, so it can easily be removed.