| commit | f5164f6e93b4b5be9f828557b155ec457b39ed8c | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Wed May 04 15:28:31 2011 +0300 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Wed May 04 15:28:31 2011 +0300 |
| tree | cc77a1aabc64cf36b530cfa91f0d60262312f634 | |
| parent | fb5d3e75bba8dfb567acefa6fd56ac56721bfe95 [diff] |
#11982: remove now unused function.