configs/etc
|
d'oh, don't actually gzip it
|
2006-03-08 19:25:44 +00:00 |
development
|
2nd attempt at fixing the gnat44 build
|
2010-01-27 13:43:23 +00:00 |
lib
|
Merging from trunk.
|
2010-01-14 14:49:31 +00:00 |
os-specific
|
* Removed splashutils 1.3 (obsolete).
|
2010-01-27 14:35:38 +00:00 |
shells
|
* None of us is paying attention today ;-)
|
2010-01-26 20:13:23 +00:00 |
stdenv
|
* Fix splashutils.
|
2010-01-26 10:56:21 +00:00 |
test
|
Add a new way to handle option sets.
|
2008-08-05 17:16:35 +00:00 |
tools
|
* ktorrent 2.2.8.
|
2010-01-26 15:05:02 +00:00 |