gedit-plugin-terminal 3.22.0-1ubuntu2 (s390x binary) in ubuntu artful

 gedit-plugins contain a set of plugins for gedit, GNOME's text editor.
 .
 This plugin embeds a terminal in the bottom pane.

Details

Package version:
3.22.0-1ubuntu2
Source:
gedit-plugins 3.22.0-1ubuntu2 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional