edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-18 07:34:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
gnome-shell/js/extensionPrefs
History
Florian Müllner fe83cd91bb cleanup: Use rest parameters instead of arguments 
Spotted by eslint.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/607
2019-07-01 23:44:10 +02:00
..
main.js cleanup: Use rest parameters instead of arguments 2019-07-01 23:44:10 +02:00