diff docs/makefile @ 4756:22ffbbba695d

py3: use "%f" for formatting floating point number
author Martin von Zweigbergk <martinvonz@google.com>
date Fri, 12 Jul 2019 08:16:30 -0700
parents 150be007f421
children 77729ad7cb0c
line wrap: on
line diff