diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-04-06 13:16:44 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-04-06 13:16:44 (GMT) |
| commit | faeb35347f0d3ea78ad6fc1a20df23043fc3a602 (patch) | |
| tree | ee55af09a6b401959c98415f84a08277126d8c7b /bin | |
| parent | 94f36e8b7d19d7b2ac4357d1b45098b085bd66bf (diff) | |
Remove obsolete stuff, get rid of the tools dir.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions