From 5d590b0a87b6cb40780ee5966f6e84ffa3c653a1 Mon Sep 17 00:00:00 2001 From: Jake Howard Date: Fri, 5 Feb 2016 18:02:59 +0000 Subject: [PATCH] Add gnome shell extensions --- gnome/extensions.md | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 gnome/extensions.md diff --git a/gnome/extensions.md b/gnome/extensions.md new file mode 100644 index 0000000..05e0a2b --- /dev/null +++ b/gnome/extensions.md @@ -0,0 +1,3 @@ +- Coverflow alt-tab +- Drop down terminal +- Lock Keys