Index of /www001/src/ports/devel/devhelp/work/devhelp-0.16/misc/gedit-plugin

 Name                    Last modified       Size  Description

 Parent Directory        08-Aug-2008 17:17      -  
 devhelp/                08-Aug-2008 17:17      -  
 devhelp.gedit-plugin..> 08-Aug-2008 17:17     0k  
 devhelp.gedit-plugin..> 10-Sep-2007 10:35     1k  
 Makefile.in.html        08-Aug-2008 17:17    43k  
 Makefile.in             10-Sep-2007 10:45    19k  
 Makefile.am.html        08-Aug-2008 17:17     1k  
 Makefile.am             10-Jan-2007 07:40     1k