diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-11-12 20:26:08 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-11-12 20:26:08 -0500 |
| commit | ab773358d11c6401a58d12a458bef767460fc6f5 (patch) | |
| tree | de8d9ceb897d90648433a72471d7e991a81150e9 /pcr/grub-customizer | |
| parent | faef4af85c6c05ec8d1df615bbacae2a72bc1f7e (diff) | |
| download | abslibre-ab773358d11c6401a58d12a458bef767460fc6f5.tar.gz abslibre-ab773358d11c6401a58d12a458bef767460fc6f5.tar.bz2 abslibre-ab773358d11c6401a58d12a458bef767460fc6f5.zip | |
texlive-bin-2017.44590-8.parabola1: rebuild
Diffstat (limited to 'pcr/grub-customizer')
0 files changed, 0 insertions, 0 deletions