scintilla

[email protected] (Daniel Adams) Thu, 16 Aug 2001 11:15:44 -0400 (EDT)
Newsgroups php.gtk
Message-ID <[email protected]> 
Just out of curiosity, what is the scintilla extension?
	- Dan

--