diff contrib/check-code.py @ 49895:07792fd1837f

doc: add a few comments
author Arseniy Alekseyev <aalekseyev@janestreet.com>
date Wed, 11 Jan 2023 19:53:58 +0000
parents 3a2b6158374a
children 7e5be4a7cda7
line wrap: on
line diff