Commit Graph

1 Commits

Author SHA1 Message Date
paul
a138ec96de ide: merge codetools and codefoldings pages into ide options
git-svn-id: trunk@17200 -
2008-11-03 15:20:54 +00:00