Content - af9a835e302cf0fa9b614a1b389eb27205279005 - 2d5ac2c/lint/_tags

swh:1:snp:a009335c9ad61a15b4ffe398f445dd601942b68c

Tip revision: 1313a7da71c6007248cdb9ac2cb0401946b9d72d authored by François Dupressoir on 14 April 2021, 18:20:13 UTC
Merge remote-tracking branch 'origin/1.0' into deploy-clean-oldmonoid

Tip revision: 1313a7d

_tags

# --------------------------------------------------------------------
true : warn_Z, warn_Y, warn_+28, warn_-23, warn_+33
true : -traverse
true : bin_annot

# --------------------------------------------------------------------
<*.{ml,mli}>      : package(compiler-libs.common)
<*.{native,byte}> : package(compiler-libs.common)