From a7c556e7a828a9be88e0893987396d652f0f3bde Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Tue, 26 Dec 2023 11:26:31 -0600
Subject: Update README

---
 dune-project | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
index 5676cf0..6b155aa 100644
--- a/dune-project
+++ b/dune-project
@@ -4,9 +4,6 @@
 
 (generate_opam_files true)
 
-(source
- (github username/reponame))
-
 (authors "Marc Coquand")
 
 (maintainers "Marc Coquand")
-- 
cgit v1.2.3