Revision 1209885(Back to digest)
Bug Fixes in Development Tools
fix a bug where the file tree would improperly nest folders that had similar basenames.
found another improper nesting bug while fixing the last one, fixed it. Kate on windows might have a problem with all the direct uses of "/" but I can't be sure as I can't test it easily.