diff options
author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-21 14:37:14 +0200 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-05-05 15:03:48 +0200 |
commit | 7e3f7acbe0885fd8a6e509fd0c309d1f4d9d3097 (patch) | |
tree | e5ed90a2b8556361057f9bec9fce5892b74d2b40 /gnu | |
parent | bf8b09169c7d8ae48ac99ea237b82867ee9aa885 (diff) | |
download | patches-7e3f7acbe0885fd8a6e509fd0c309d1f4d9d3097.tar patches-7e3f7acbe0885fd8a6e509fd0c309d1f4d9d3097.tar.gz |
scripts: Remove profile-grub-entries.
* guix/scripts/system.scm (profile-grub-entries): Delete variable.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions