diff options
| author | Diego Biurrun <diego@biurrun.de> | 2012-08-21 01:03:08 +0200 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2012-10-01 10:24:28 +0200 |
| commit | 14d3e7ad11addf0f8415cafad73f6e040a028e93 (patch) | |
| tree | 28c1a973287b88175aa9211817e1ef9edecf4206 /tools | |
| parent | 56b6a43056235fc110a018678da590595734203d (diff) | |
Remove some silly disabled code.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions