new icons for linux, etc.
- new xpm resources for different linux window managers
- new png files for autoresizing on different linux window managers
- favicon with new logo
- window .ico with new logo
- updated debian package script
- updated changelog
Description
Description
Details
Details
- Provenance
Jonas Schnelli <jonas.schnelli@include7.ch> Authored on May 12 2013, 18:24 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABC5b5d399593ad: Update version numbers for 0.8.2rc1 release
- Branches
- Unknown
- Tags
