diff options
| author | gusi <gusi@df743ca5-7f9a-e211-a948-0013205c9059> | 2014-05-23 22:40:39 +0800 |
|---|---|---|
| committer | gusi <gusi@df743ca5-7f9a-e211-a948-0013205c9059> | 2014-05-23 22:40:39 +0800 |
| commit | c6bfe60abd08d42afb5887246a435cf7d63fa3ed (patch) | |
| tree | 5ceb25ab5c2ba9cd2bd9e5519e862cad2e5c8018 /deskutils/gnome-shell-extension-hidetopbar/distinfo | |
| parent | 4c5771b0c34165a7a446fa2ba4e81341aab2e523 (diff) | |
| download | marcuscom-ports-c6bfe60abd08d42afb5887246a435cf7d63fa3ed.tar marcuscom-ports-c6bfe60abd08d42afb5887246a435cf7d63fa3ed.tar.gz marcuscom-ports-c6bfe60abd08d42afb5887246a435cf7d63fa3ed.tar.bz2 marcuscom-ports-c6bfe60abd08d42afb5887246a435cf7d63fa3ed.tar.lz marcuscom-ports-c6bfe60abd08d42afb5887246a435cf7d63fa3ed.tar.xz marcuscom-ports-c6bfe60abd08d42afb5887246a435cf7d63fa3ed.tar.zst marcuscom-ports-c6bfe60abd08d42afb5887246a435cf7d63fa3ed.zip | |
Import some, I think, interesting gnome shell extensions that
can be installed separately.
Also create a metapoort (gnome-shell-extra-extensions) to install
all of them in a row.
git-svn-id: svn://creme-brulee.marcuscom.com/ports/trunk@19680 df743ca5-7f9a-e211-a948-0013205c9059
Diffstat (limited to 'deskutils/gnome-shell-extension-hidetopbar/distinfo')
| -rw-r--r-- | deskutils/gnome-shell-extension-hidetopbar/distinfo | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/deskutils/gnome-shell-extension-hidetopbar/distinfo b/deskutils/gnome-shell-extension-hidetopbar/distinfo new file mode 100644 index 000000000..6271ac8de --- /dev/null +++ b/deskutils/gnome-shell-extension-hidetopbar/distinfo @@ -0,0 +1,2 @@ +SHA256 (gnome3/gnome-shell-extension-hidetopbar-0.0.0.20140520.tar.xz) = 83db37bdeb6b12ac4d0acbf4f465b116b364d2dbc1266eca1e4d0003cbb2d424 +SIZE (gnome3/gnome-shell-extension-hidetopbar-0.0.0.20140520.tar.xz) = 9005 |