diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-04-30 23:21:32 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-04-30 23:21:32 -0500 |
commit | 6cc6791883e0070048ae867bbb83f66b281a0cf5 (patch) | |
tree | 55cf2c32b49da829096cc4886c41f6e8e5b816cc /pcr/grub-legacy | |
parent | 9655da7c150b6fc02978200651c795cf19761de4 (diff) |
consolekit-1.1.0-6: rebuild
Diffstat (limited to 'pcr/grub-legacy')
0 files changed, 0 insertions, 0 deletions