Numerical time-stamp
Closed this issue · 0 comments
jpt13653903 commented
Instead of __DATE__
and __TIME__
strings, make them numerical instead...
Or perhaps have __YEAR__
, __MONTH__
, etc. as num
type...
Closed this issue · 0 comments
Instead of __DATE__
and __TIME__
strings, make them numerical instead...
Or perhaps have __YEAR__
, __MONTH__
, etc. as num
type...