projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 304a31b) | patch
IDEA-27103: ExternalResourceManagerImpl#removeResource() only updates mapping, but...
authorDmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Wed, 21 Apr 2010 07:52:20 +0000 (11:52 +0400)
committerDmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Wed, 21 Apr 2010 07:52:20 +0000 (11:52 +0400)
commit221e4d2278d98075eb68043993b554314cf27201
tree5379105d055a06ca146c5cd1aa2b0245a6783cdftree
parent304a31b0523988dc91ddb68fb9dcfab5433a0a64commit | diff
IDEA-27103: ExternalResourceManagerImpl#removeResource() only updates mapping, but not resource locations [patch from Frank Wienberg]
xml/impl/src/com/intellij/javaee/ExternalResourceManagerImpl.java diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.