Content - af9a835e302cf0fa9b614a1b389eb27205279005 - fd759c0/lint/_tags

swh:1:snp:a009335c9ad61a15b4ffe398f445dd601942b68c

Tip revision: a8d02dd4b364e2d9a8ab7a03075095d202fa7eb9 authored by Pierre-Yves Strub on 04 January 2021, 13:15:49 UTC
remove deprecated "cut" tactic

Tip revision: a8d02dd

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