From ec0b382a68712065de268b4994b0fceeedd2b1cc Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Fri, 28 Jan 2022 19:28:34 +0100
Subject: [PATCH] add ~dev suffix to monitoring-experiments

---
 .../opam                                                          | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename packages/{monitoring-experiments.0.0.2 => monitoring-experiments.0.0.2~dev}/opam (100%)

diff --git a/packages/monitoring-experiments.0.0.2/opam b/packages/monitoring-experiments.0.0.2~dev/opam
similarity index 100%
rename from packages/monitoring-experiments.0.0.2/opam
rename to packages/monitoring-experiments.0.0.2~dev/opam