MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

dead code deleted

Browse Source
This commit is contained in:
Dmitry Jemerov
2013-07-22 18:13:24 +02:00
parent 13a827c47b
commit 420d37f2c9
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/execution/openapi/src/com/intellij/execution/configurations/PatchedRunnableState.java
-1
View File
@@ -16,5 +16,4 @@
package com.intellij.execution.configurations;
public interface PatchedRunnableState extends RunProfileState {
RunnerSettings getPatcher();
}