diff options
author | Stephane Chazelas <stephane.chazelas@gmail.com> | 2016-02-24 17:09:04 +0000 |
---|---|---|
committer | Peter Stephenson <p.w.stephenson@ntlworld.com> | 2016-02-26 11:12:32 +0000 |
commit | f7d5ff31ce8d354dd69de619e703b9c0e49f0977 (patch) | |
tree | 532d4bf25a7cb35662995eeaa3bf3d3f4cb27e00 /Src/makepro.awk | |
parent | c55d8551718bcf2fc7661c31c13e934060a5f1a7 (diff) | |
download | zsh-f7d5ff31ce8d354dd69de619e703b9c0e49f0977.tar.gz zsh-f7d5ff31ce8d354dd69de619e703b9c0e49f0977.tar.xz zsh-f7d5ff31ce8d354dd69de619e703b9c0e49f0977.zip |
38020: fix problems with $SECONDS.
Fractions of a second were not handled correctly.
Diffstat (limited to 'Src/makepro.awk')
0 files changed, 0 insertions, 0 deletions