Content - af9a835e302cf0fa9b614a1b389eb27205279005 - 941734b/lint/_tags

swh:1:snp:a009335c9ad61a15b4ffe398f445dd601942b68c

Tip revision: 787383f8d587cfbcb81b29cbd1f3f9c3d32f9bac authored by Pierre Boutry on 27 June 2022, 15:50:50 UTC
[C/G]DH-RSR: adapt to changes on main branch

Tip revision: 787383f

_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)