aboutsummaryrefslogtreecommitdiff
path: root/test-suite/dune
diff options
context:
space:
mode:
authorThéo Zimmermann2019-05-22 17:07:07 +0200
committerThéo Zimmermann2019-05-22 20:09:23 +0200
commit4d8a64fd4445e6a1d6a76243199f674624fa9a75 (patch)
tree3f318616a914c4a8bb3e413e22f69f0f13c6f82f /test-suite/dune
parent5c5bd952e9c28c3acf740fcdced03b2b7145076d (diff)
Fix changelog test file on macOS: do not use ls + wc.
Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Diffstat (limited to 'test-suite/dune')
0 files changed, 0 insertions, 0 deletions