build-support
|
* Don't pollute /tmp.
|
2006-07-18 12:00:38 +00:00 |
configs/etc
|
d'oh, don't actually gzip it
|
2006-03-08 19:25:44 +00:00 |
data/sgml+xml
|
* Rename for consistency.
|
2006-08-18 09:33:46 +00:00 |
development
|
d'oh.
|
2006-08-27 20:18:07 +00:00 |
misc
|
build more tools
|
2006-08-27 13:07:25 +00:00 |
os-specific/linux
|
3.20 needs different patch
|
2006-08-28 21:53:39 +00:00 |
stdenv
|
* Well-typedness.
|
2006-08-28 21:23:36 +00:00 |
test
|
* "." -> "source".
|
2005-12-05 14:11:09 +00:00 |
tools
|
7.15.4 -> 7.15.5
|
2006-08-25 21:01:42 +00:00 |
top-level
|
add a bunch of tools
|
2006-08-27 19:59:45 +00:00 |