From 375a10727c1e9dd0285a7e8a4447fec739a6a159 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Wed, 15 Nov 2023 12:31:28 +0100 Subject: [PATCH] Consistent punctuation --- dune-project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune-project b/dune-project index 1186c9fed..0719444d0 100644 --- a/dune-project +++ b/dune-project @@ -3,7 +3,7 @@ (using menhir 2.0) ;; enable use of menhir (name links) ;; package name (implicit_transitive_deps false) ;; hides transitive dependencies in libraries/executables/tests -(generate_opam_files true) ;; generate .opam package files using the descriptions defined in this file. +(generate_opam_files true) ;; generate .opam package files using the descriptions defined in this file ;;