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/deb.png | |
| 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/deb.png')
| -rw-r--r-- | pixmaps/distros/deb.png | bin | 842 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/pixmaps/distros/deb.png b/pixmaps/distros/deb.png Binary files differdeleted file mode 100644 index fe63aca6..00000000 --- a/pixmaps/distros/deb.png +++ /dev/null |
