Changed the number of decimals for bore positions to 5 digits.
Authored by: JesusFreke 2008-07-06
Parent: [r54]
Child: [r56]
