Timestamp:
Aug 15, 2023, 7:53:51 AM (2 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master, stuck-waitfor-destruct
Children:
3fdf2b7
Parents:
329487c
Message:

fix printing of decimal point when manipulator nodp is on

(No files)

Note: See TracChangeset for help on using the changeset viewer.