diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-27 07:56:17 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-27 07:56:17 -0500 |
| commit | d3bead6e6ee8703915dcc7c501fd3e198899ba5c (patch) | |
| tree | e6c493754df3ed95d05e50775fc2d3abd00ffd50 /libre/grub-git | |
| parent | 1cba537c2b57e0b3d656d257c8cec2750e0c41a6 (diff) | |
jedit: add new package to [libre]
Diffstat (limited to 'libre/grub-git')
0 files changed, 0 insertions, 0 deletions