RFR: Fix formatting in sample/time
Per Minborg
duke at openjdk.org
Tue Sep 20 11:13:25 UTC 2022
This PR formats the time so that single-digit minutes will look better.
-------------
Commit messages:
- Fix formatting in sample/time
Changes: https://git.openjdk.org/jextract/pull/73/files
Webrev: https://webrevs.openjdk.org/?repo=jextract&pr=73&range=00
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
Patch: https://git.openjdk.org/jextract/pull/73.diff
Fetch: git fetch https://git.openjdk.org/jextract pull/73/head:pull/73
PR: https://git.openjdk.org/jextract/pull/73
More information about the jextract-dev
mailing list