John Wiegley 1825255272 coq_HEAD: update		2014-11-17 17:29:42 -06:00
..
applications	coq_HEAD: update	2014-11-17 17:29:42 -06:00
build-support	nix-prefetch-git: allow dots in submodule names	2014-11-15 18:37:58 +00:00
data	stdman: improvements to package description	2014-11-17 22:13:44 +01:00
desktops	Document the fact that GNOME 3.12 must use clutter 1.18	2014-11-17 15:15:19 +01:00
development	webkitgtk: fix build	2014-11-17 23:40:54 +01:00
games	openra: 20140608 -> 20141029	2014-11-15 13:04:32 +01:00
misc	vim-plugins/YouCompleteMe: fix build	2014-11-16 17:27:13 +01:00
os-specific	kernel: 3.18-rc4 -> 3.18-rc5	2014-11-17 00:13:04 -08:00
servers	consul: 0.4.0 -> 0.4.1	2014-11-17 13:19:30 -08:00
shells	Merge remote-tracking branch 'origin/master' into staging	2014-10-16 15:16:50 +02:00
stdenv	Merge branch 'master' into staging	2014-11-14 14:28:23 +01:00
test	Merge recent master into staging	2014-09-13 21:48:29 +02:00
tools	Merge pull request #5011 from 4z3/urlwatch-1.17	2014-11-17 07:11:43 +00:00
top-level	Merge pull request #4999 from drvirgilio/hayland	2014-11-17 22:19:17 +01:00