diff options
| author | Dirk | 2011-11-22 17:30:37 +0100 |
|---|---|---|
| committer | Dirk | 2011-11-22 17:30:37 +0100 |
| commit | fa16de371b41f12ab7b0509ea3f9ddfa26cecc54 (patch) | |
| tree | 6f14d1522f48f5a4cfbf0bdbcbd39336a4135704 /tools | |
| parent | Distro specific scripts ... (diff) | |
| download | core-fa16de371b41f12ab7b0509ea3f9ddfa26cecc54.tar.gz core-fa16de371b41f12ab7b0509ea3f9ddfa26cecc54.tar.xz core-fa16de371b41f12ab7b0509ea3f9ddfa26cecc54.zip | |
Further (irrelevant) adaptations ...
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions