1e8f6f8d · keep track of whether the name of a run configuration was changed by the user... · Jul 26, 2013