Commit Graph

1 Commits

Author SHA1 Message Date
paul
5080178fa1 ide: finish merge of codetools options into ide options dialog, remove old codetools options dialog
git-svn-id: trunk@17211 -
2008-11-04 08:47:37 +00:00