diff options
author | Bob van der Linden <bobvanderlinden@gmail.com> | 2015-03-12 19:15:48 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2015-03-12 23:05:54 +0100 |
commit | decf15fd57c8f26079cdfc7572f1097decfc296f (patch) | |
tree | 1d4b78a388e2c02ef71c53587b6f6e8d17505557 /pkgs/servers/rippled | |
parent | 208d1f24db9966c18e1a3aca3b99ec4eae362607 (diff) |
grub: make sure grub builds again (close #6774)
Diffstat (limited to 'pkgs/servers/rippled')
0 files changed, 0 insertions, 0 deletions