diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2018-01-09 09:24:00 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2018-01-09 20:02:23 +0100 |
| commit | 20abb8c4085fcad6379ac46c285d6ac7f5b4d575 (patch) | |
| tree | c4ee5b99e7a607b13e5c183c1d2e2ffb0d983fee /gnu/packages/gdb.scm | |
| parent | 1e257d3da9a43a0b4ad09ddfb32562a08122e7c0 (diff) | |
system: Export operating-system-user-kernel-arguments.
* gnu/system.scm (operating-system-user-kernel-arguments): Export it.
Diffstat (limited to 'gnu/packages/gdb.scm')
0 files changed, 0 insertions, 0 deletions