From: Simon Ruderich <simon@ruderich.org>
Date: Sat, 28 Nov 2020 10:29:01 +0000 (+0100)
Subject: Remove unused function array_equal()
X-Git-Tag: 0.13~9
X-Git-Url: https://ruderich.org/simon/gitweb/?p=blhc%2Fblhc.git;a=commitdiff_plain;h=189d593d45a3cab37a1908c2ae6c0c0d0916d60d;hp=189d593d45a3cab37a1908c2ae6c0c0d0916d60d

Remove unused function array_equal()

Unused since 42b57fd ("Fix another Ada false positive for format flags",
2016-09-10)
---