Go to file
Pavel 21feff7264 increase number of decimal places in editor.py 2021-10-22 21:33:44 +02:00
alrys increase number of decimal places in editor.py 2021-10-22 21:33:44 +02:00