diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-12-10 14:05:55 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-12-10 14:05:55 +0100 |
| commit | bb474498037360194d2a9a997b50a648fbbd01b7 (patch) | |
| tree | dd317c3d816ed9ac1747bdb1d22a01dac021edae /client/shared/lib/grub4dos/grub4dos-0.4.6a/grub.pif | |
| parent | ce63f8dea2801019f43ececa9b12cce5d766c449 (diff) | |
#935: New Grub4Dos binaries.
Diffstat (limited to 'client/shared/lib/grub4dos/grub4dos-0.4.6a/grub.pif')
| -rwxr-xr-x | client/shared/lib/grub4dos/grub4dos-0.4.6a/grub.pif | bin | 0 -> 967 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/client/shared/lib/grub4dos/grub4dos-0.4.6a/grub.pif b/client/shared/lib/grub4dos/grub4dos-0.4.6a/grub.pif Binary files differnew file mode 100755 index 00000000..28b43805 --- /dev/null +++ b/client/shared/lib/grub4dos/grub4dos-0.4.6a/grub.pif |