mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-12 16:59:11 +07:00
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
4 lines
50 B
Plaintext
4 lines
50 B
Plaintext
interface Date {
|
|
|
|
int <spot>getMonth</spot>();
|
|
} |