Changelog for gnome-shell-extension-drop-down-terminal-13-3.1.noarch.rpm :
Thu Dec 26 13:00:00 2013 larchunix - 13-1
- Upstream release update.

Thu Jun 6 14:00:00 2013 larchunix - 12-1
- Initial RPM release.