Bjørn Forsman 7ffbe5174f sablotron: update source URL ... The current URL no longer works, switch to a sourceforge mirror URL. Fixes issue #18337.		2016-09-08 15:33:31 +02:00
..
applications	Merge pull request #18392 from romildo/upd.idea	2016-09-08 14:59:55 +02:00
build-support	nixBufferBuilders.withPackages: Make more legible, special-case proof-general.	2016-09-05 17:55:49 -04:00
data	unifont: 9.0.01 -> 9.0.02	2016-09-06 15:46:58 +02:00
desktops	evolution: improve out-of-gnome use	2016-09-08 14:05:38 +02:00
development	vrpn: 07.30 -> 2016-08-27	2016-09-08 13:04:41 +01:00
games	crawlTiles: fix build	2016-09-04 17:27:39 +03:00
misc	uboot: Fix build	2016-09-08 02:37:11 +03:00
os-specific	linux: 4.4.19 -> 4.4.20	2016-09-08 13:58:05 +02:00
servers	prometheus: 1.0.0 -> 1.1.2	2016-09-08 15:26:50 +02:00
shells	Merge branch 'master' into staging	2016-08-27 23:54:54 +01:00
stdenv	stdenv: leave SSL_CERT_FILE in shells (#15571)	2016-09-01 20:50:08 +02:00
test
tools	sablotron: update source URL	2016-09-08 15:33:31 +02:00
top-level	ledger: fix libdir	2016-09-08 00:03:53 +02:00