home
|
home: Add inputrc service.
|
2023-07-05 18:57:32 +03:00 |
packages
|
gnu: plasma-mobile: Download using mirror uri.
|
2023-07-09 10:42:57 +03:00 |
services
|
services: cgit: Remove ‘cgit-repo’ left-overs.
|
2023-07-02 02:00:09 +02:00 |
system
|
image: Prefer gpt partition table for efi images
|
2023-07-07 21:14:10 +02:00 |
tests
|
image: Prefer gpt partition table for efi images
|
2023-07-07 21:14:10 +02:00 |
ci.scm
|
ci: Add 'gdb-minimal' to the "core" package set.
|
2023-04-18 15:59:34 +02:00 |
local.mk
|
gnu: Add vcmi.
|
2023-07-09 07:31:36 +02:00 |
machine.scm
|
gnu: Fix typo.
|
2022-02-08 13:34:02 +01:00 |
system.scm
|
system: Fix reference to Hurd bug in comment.
|
2023-05-10 00:23:52 +02:00 |