From ad526111f0dd619ae9e0e98ef2253146b58a068f Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 7 Feb 2022 16:00:42 +0100 Subject: Update project description --- Makefile | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 5799ef0..88fb750 100755 --- a/Makefile +++ b/Makefile @@ -9,3 +9,6 @@ serve: clean: dune clean + +deps: + opam install . --deps-only -- cgit v1.2.3