Silvano Seva 49c99acf85 Utility function to strip leading zeroes from numbers in decimal notation		2024-02-01 11:07:20 +01:00
..
include	Utility function to strip leading zeroes from numbers in decimal notation	2024-02-01 11:07:20 +01:00
src	Utility function to strip leading zeroes from numbers in decimal notation	2024-02-01 11:07:20 +01:00