From 5f861ebe39567a3bf01635bb7343ed8a8e26803f Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 19 Nov 2012 15:51:02 -0800
Subject: [PATCH] README: add verbose (-v) argument
---
README | 1 +
1 file changed, 1 insertion(+)
diff --git a/README b/README
index 12a02ff..4da5694 100644
--- a/README
+++ b/README
@@ -46,6 +46,7 @@ Options:
priority for execution. Default: 0
-e Enabled count. Default: 1
-b Upper length bound. Default: 0
+-v Print verbose execution information.
-- Program arguments follow.
--
2.34.1