diff options
| author | Michael Reed <top@secret> | 2017-07-03 20:19:53 -0400 |
|---|---|---|
| committer | Michael Reed <top@secret> | 2017-07-03 20:19:53 -0400 |
| commit | 0b73df365fa459aae209184862be94e4a2686336 (patch) | |
| tree | 2255e63c05b9ceb7a808941006a5e30af008869c /resources/grub/background | |
| parent | f4e5c4bba4403d418044e8c3ed2dd3fbc6eb4c12 (diff) | |
| download | librebootfr-0b73df365fa459aae209184862be94e4a2686336.tar.gz librebootfr-0b73df365fa459aae209184862be94e4a2686336.zip | |
Reduce image size with optipng
OptiPNG losslessly optimizes .png files; in other words, the images
in question should (and do, by my testing) look the same.
In short, we save some bytes for free.
Diffstat (limited to 'resources/grub/background')
| -rw-r--r-- | resources/grub/background/background1024x768.png | bin | 10524 -> 3158 bytes |
| -rw-r--r-- | resources/grub/background/background1280x800.png | bin | 12370 -> 3387 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/resources/grub/background/background1024x768.png b/resources/grub/background/background1024x768.png Binary files differindex fd6ecbd1..2689d5d8 100644 --- a/resources/grub/background/background1024x768.png +++ b/resources/grub/background/background1024x768.png diff --git a/resources/grub/background/background1280x800.png b/resources/grub/background/background1280x800.png Binary files differindex 218f6efc..0570c879 100644 --- a/resources/grub/background/background1280x800.png +++ b/resources/grub/background/background1280x800.png |
