mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-22 07:32:21 +07:00
GitOrigin-RevId: 3d76a0b29748d9f0e5593f87eeb66ce1bfdd81bc
1 line
42 B
Plaintext
1 line
42 B
Plaintext
print(<spot>"{0: 5.3F}".format(12)</spot>) |