diff .hgignore @ 51119:d58e754f2db0

rust-clippy: ignore clippy's recommendation for "useless" cast See explanation inline.
author Raphaël Gomès <rgomes@octobus.net>
date Mon, 06 Nov 2023 11:02:18 +0100
parents 59820ae507b1
children 2a875530a023
line wrap: on
line diff