mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-01 11:20:44 +07:00
Merge-request: IJ-MR-156125 Merged-by: Andrey Vokin <andrey.vokin@jetbrains.com> (cherry picked from commit f3a2bc86331013879716b6991da26307c63b10fc) IJ-MR-156125 GitOrigin-RevId: 10f0b3a8f60469af64bfd97613f258a282c9d0e2
7 lines
120 B
Python
7 lines
120 B
Python
import asyncio
|
|
|
|
async def example():
|
|
await asyncio.sleep(1)
|
|
|
|
async def example_correct():
|
|
await asyncio.sleep(1) |