diff .hgignore @ 304:02aff9ff8d24

Use time.monotonic() since Python now has it
author Matt Johnston <matt@ucc.asn.au>
date Wed, 24 Jul 2019 23:21:33 +0800
parents b32e5a11a4cb
children aff50ee77252
line wrap: on
line diff