mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 20:33:31 +07:00
GitOrigin-RevId: 08ca1f5ed4f48439b394f7fd313f2b95d50c48e7
6 lines
91 B
Java
6 lines
91 B
Java
// "Safe delete 'args'" "true-preview"
|
|
|
|
public static void main(String[] arg<caret>s) {
|
|
}
|
|
|