Rename HTML editor to Smarty editor
[phpeclipse.git] / CVSROOT / checkoutlist
2002-07-11 Edward Manninitial checkin