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 schancel Pushed on Jan 5 2018, 21:58 schancel Pushed on Jan 5 2018, 21:39 schancel Pushed on Jan 5 2018, 21:17 - Parents
- rSTAGING5b5d399593ad: Update version numbers for 0.8.2rc1 release
- Branches
- Unknown
- Tags
