From 00c1b4cf93a3cd0b0e85e6ae5dc6e052a1112342 Mon Sep 17 00:00:00 2001
From: Robur <team@robur.coop>
Date: Thu, 7 Oct 2021 10:02:03 +0000
Subject: [PATCH] dune-project: disable formatting

---
 dune-project | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dune-project b/dune-project
index 8ccc390..975e793 100644
--- a/dune-project
+++ b/dune-project
@@ -1,2 +1,3 @@
 (lang dune 2.7)
 (name webauthn)
+(formatting disabled)