Content - af9a835e302cf0fa9b614a1b389eb27205279005 - 72097e4/lint/_tags

swh:1:snp:a009335c9ad61a15b4ffe398f445dd601942b68c

Tip revision: 6a16de3ee58f0fc4faf420915e7d289f6574bd08 authored by François Dupressoir on 13 June 2022, 15:46:00 UTC
Fiddling with goal generation

Tip revision: 6a16de3

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