From 6d498ac858306944c09718c329191631ece91ee5 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Tue, 26 Oct 2021 21:13:25 +0200 Subject: Removed ppx-args dep --- bin/dune | 1 - 1 file changed, 1 deletion(-) (limited to 'bin/dune') diff --git a/bin/dune b/bin/dune index 279a658..240bca8 100755 --- a/bin/dune +++ b/bin/dune @@ -13,6 +13,5 @@ stdio css_lib ) - (preprocess (pps ppx_deriving_argparse)) ) -- cgit v1.2.3