diff options
| author | Emanuele Peruffo <info@emanueleperuffo.com> | 2017-10-24 21:12:01 +0200 |
|---|---|---|
| committer | Emanuele Peruffo <info@emanueleperuffo.com> | 2017-10-24 21:12:01 +0200 |
| commit | f402c3aa78f0d6ad21fac8ef9dea288dcccabc3e (patch) | |
| tree | 741a3e0a772f7904c1927f234a137aec98f9b26b /pkgs/development/python-modules/python-sql | |
| parent | f4801e59f2b3428a424d2c64e5311438c3b3fd54 (diff) | |
robo3t: change .desktop name
Gnome does not permit to add the application to favorites if the .desktop name is different than the binary name.
See https://unix.stackexchange.com/questions/58824/how-do-i-add-eclipse-to-my-gnome-shell-favorites.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions