userdata is better than marker file
authorpeter <peter@jetbrains.com>
Tue, 31 Jan 2012 19:24:47 +0000 (20:24 +0100)
committerpeter <peter@jetbrains.com>
Tue, 31 Jan 2012 19:44:46 +0000 (20:44 +0100)
commitc49a318bd035ef29abd9e641bfc6be035e8dd249
tree2b3fd70785e4dbea47109a2aa581c9e98293e0ea
parentfd4989784944335cd481f76967f4c77055425f48
userdata is better than marker file
jps/jps-builders/src/org/jetbrains/jps/incremental/groovy/GroovyBuilder.java
platform/util/src/com/intellij/openapi/util/Key.java