From 27fa67b04d462e4bd204515cf9eed97b0bb04b68 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Thu, 17 Dec 2020 12:17:24 +0000 Subject: [PATCH] more --- cpdfcommand.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/cpdfcommand.ml b/cpdfcommand.ml index 8af495e..d115f02 100644 --- a/cpdfcommand.ml +++ b/cpdfcommand.ml @@ -4418,4 +4418,3 @@ let go_withargv argv = let go () = go_withargv Sys.argv -