7b75e9f5ed
We kept the old binary name when overhauling the tool for the Extensions app to avoid unnecessary churn for packagers/distributors. However we now have a reason to "free" the old name, so rename the binary to match the (sub)project name. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1220 |
||
|---|---|---|
| .. | ||
| extensions-app | ||
| extensions-tool | ||
| gvc@ec5cf3e0de | ||
| shew | ||