diff options
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 000000000000..6271ac8de3e3 --- /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 |