Index of /www001/src/ports/editors/gedit-plugins/work/gedit-plugins-2.20.0/plugins/terminal

 Name                    Last modified       Size  Description

 Parent Directory        02-Jan-2008 20:33      -  
 Makefile.am             07-Apr-2007 07:00     1k  
 Makefile.in             02-Jan-2008 20:33    14k  
 Makefile.in.bak         29-Sep-2007 06:49    14k  
 terminal.gedit-plugi..> 07-Apr-2007 07:00     1k  
 terminal.py             07-Apr-2007 07:00    10k