applications
|
ProofGeneral 4.1
|
2011-12-13 01:13:46 +00:00 |
build-support
|
added git support to builder-defs
|
2011-12-11 19:39:16 +00:00 |
data
|
Allow cross-builds
|
2011-12-03 09:07:56 +00:00 |
desktops
|
desktops/e17: Updated everything.
|
2011-12-10 18:11:37 +00:00 |
lib
|
Add mornfall as a maintainer
|
2011-12-03 22:05:21 +00:00 |
misc
|
Rebuild-checked: does not break boot
|
2011-12-10 05:05:15 +00:00 |
os-specific
|
upgraded cryptsetup
|
2011-12-11 19:39:12 +00:00 |
servers
|
Add ncmpcpp
|
2011-12-05 01:32:25 +00:00 |
shells
|
synchronize with trunk
|
2011-10-18 08:47:36 +00:00 |
tools
|
Update BtrFS utilities to latest Git
|
2011-12-13 04:30:49 +00:00 |