Skip to content
Unverified Commit 643b6a8c authored by worldofpeace's avatar worldofpeace Committed by GitHub
Browse files

Merge pull request #70042 from ericdallo/add-gnome-extension-drop-down-terminal 

gnomeExtensions.drop-down-terminal: init at v24
parents f8a5999a b1bf22ab
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment