diff options
| author | Leandro Pereira <leandro@hardinfo.org> | 2019-07-01 19:19:54 -0700 |
|---|---|---|
| committer | Leandro Pereira <leandro@hardinfo.org> | 2019-07-04 22:01:04 -0700 |
| commit | 8aea41e153ae1f3110109919a9a3eea0b1cab770 (patch) | |
| tree | aa78684c2fd576c8573d53e3c86675da689492d5 /pixmaps/distros | |
| parent | 4bd03d4abb4060033cfdd068a932d47c367d0869 (diff) | |
Use "debian" for Debian distrocode
When parsing the -- now preferred -- os-release file, the distro ID is
"Debian", which is lowercased.
Diffstat (limited to 'pixmaps/distros')
| -rw-r--r-- | pixmaps/distros/debian.png (renamed from pixmaps/distros/deb.png) | bin | 842 -> 842 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/pixmaps/distros/deb.png b/pixmaps/distros/debian.png Binary files differindex fe63aca6..fe63aca6 100644 --- a/pixmaps/distros/deb.png +++ b/pixmaps/distros/debian.png |
