Ricardo Wurmus ca8de35e90 Merge branch 'master' into core-updates		2018-06-05 23:44:11 +02:00
..
bootloader	bootloader: grub: Use 'with-extensions'.	2018-06-01 15:21:28 +02:00
build	Merge branch 'master' into core-updates	2018-06-01 23:41:40 +02:00
packages	Merge branch 'master' into core-updates	2018-06-05 23:44:11 +02:00
services	services: Add dnsmasq-service-type.	2018-06-05 20:05:31 +08:00
system	vm: Use 'with-extensions'.	2018-06-01 15:21:28 +02:00
tests	tests: ssh: Use 'with-extensions'.	2018-06-01 15:21:28 +02:00
artwork.scm
bootloader.scm
local.mk	gnu: perf: Work around GCC bug.	2018-06-04 14:03:54 +02:00
packages.scm
services.scm
system.scm	Merge branch 'master' into core-updates	2018-06-01 23:41:40 +02:00
tests.scm