Opam file fix and cleanup (!15) · Merge requests · coccinelle / coccinelle · GitLab

Mentions légales du service

DE SOUZA Corentin requested to merge cdesouza/coccinelle:cleanup into master Feb 24, 2020

Signed-off-by: Anton Kochkov anton.kochkov@gmail.com

Original pull request : https://github.com/coccinelle/coccinelle/pull/184