Revision 1065
fix debug preference page name
add TreeTagger options to the TreeTagger preference page
Files
- added
- modified
- copied
- renamed
- deleted
Added by Matthieu Decorde over 2 years ago
fix debug preference page name
add TreeTagger options to the TreeTagger preference page