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
/
vertical-workspaces
/
optionsFactory.js
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merging upstream version 20230205.
Daniel Baumann
2023-02-05
1
-0
/
+552
