diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2018-05-29 00:37:10 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2018-05-29 00:37:10 +0200 |
| commit | ee3c8fbee21299ce105bafca7dc63bfb096cd7c5 (patch) | |
| tree | 3cfc8b2730cdcebe91ac4f6028b8cc67a63bb6bd /gnu/build | |
| parent | 65212c42cd5ad06d15ea6122f0dd0bdf56e6f4b4 (diff) | |
| download | patches-ee3c8fbee21299ce105bafca7dc63bfb096cd7c5.tar patches-ee3c8fbee21299ce105bafca7dc63bfb096cd7c5.tar.gz | |
gnu: make-u-boot-package: Sort printed configurations case-insensitively.
* gnu/packages/bootloaders.scm (make-u-boot-package): Sort printed
configurations case-insensitively.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions