|
| From: | Peng Yu |
| Subject: | [bug-gawk] measure milliseconds in gawk |
| Date: | Fri, 14 Dec 2018 13:42:40 -0600 |
Hi, I don't think strftime() can give information about milliseconds. Is there a way to get milliseconds in gawk? Thanks. -- Regards, Peng
| [Prev in Thread] | Current Thread | [Next in Thread] |