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