From c069582d61b59d1bc064b33e329d66454f61c08a Mon Sep 17 00:00:00 2001 From: Laurent Bercot Date: Wed, 1 Jul 2015 13:43:44 +0000 Subject: Doc typo fix --- doc/dieshdiedie.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/dieshdiedie.html b/doc/dieshdiedie.html index e852af4..cf9c844 100644 --- a/doc/dieshdiedie.html +++ b/doc/dieshdiedie.html @@ -215,7 +215,7 @@ embedded box. Not exactly possible with a shell.

- For scripts than do not require many computations that a shell can do + For scripts that do not require many computations that a shell can do without calling external programs, execline is faster than the shell. Unlike sh's -- cgit v1.2.3