mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 15:35:40 +07:00
Merge-request: IJ-MR-157418 Merged-by: Aleksandr Govenko <aleksandr.govenko@jetbrains.com> GitOrigin-RevId: da45a9d7f5ff1792c24582315d4b95225025bf7a
3 lines
41 B
Python
3 lines
41 B
Python
from typing import Final
|
|
|
|
BAR: Final = 42 |