diff options
| author | Danny Milosavljevic <[email protected]> | 2018-05-29 00:37:10 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <[email protected]> | 2018-05-29 00:37:10 +0200 |
| commit | ee3c8fbee21299ce105bafca7dc63bfb096cd7c5 (patch) | |
| tree | 3cfc8b2730cdcebe91ac4f6028b8cc67a63bb6bd /THANKS | |
| parent | 65212c42cd5ad06d15ea6122f0dd0bdf56e6f4b4 (diff) | |
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 'THANKS')
0 files changed, 0 insertions, 0 deletions