index
:
debian/packages/gnome-shell-extensions-extra
debian
upstream
debian sid: gnome
Progress Linux
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
extensions
/
44
/
vertical-workspaces
/
lib
/
windowManager.js
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merging upstream version 20231210.
Daniel Baumann
2023-12-10
1
-0
/
+237
