Log In
source-git
/
gedit-plugins
Clone
Source Code
GIT
Source
Pull Requests
0
Stats
History plugins/terminal/terminal.py
Branch:
6978fbaca2cf3beea877bab83b648b9977a406ce
c8
master
6978fbaca2cf3beea877bab83b648b9977a406ce
plugins
terminal
terminal.py
gedit-plugins-3.28.1 base
Packit
• 3 years ago
6978fb