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

 Name                    Last modified       Size  Description

 Parent Directory        08-Aug-2008 17:17      -  
 Makefile.am             10-Jan-2007 07:40     1k  
 Makefile.am.html        08-Aug-2008 17:17     1k  
 Makefile.in             10-Sep-2007 10:45    13k  
 Makefile.in.html        08-Aug-2008 17:17    30k  
 __init__.py             10-Jan-2007 07:40     1k  
 __init__.py.html        08-Aug-2008 17:17     4k  
 devhelp.py              10-Sep-2007 10:35     3k  
 devhelp.py.html         08-Aug-2008 17:17    12k