From 6a90be28a5705ab13dc5cf161b659acfb05ef34b Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 3 Jan 2020 11:24:24 +0000 Subject: [PATCH] Update TODO --- TODO | 2 ++ 1 file changed, 2 insertions(+) diff --git a/TODO b/TODO index 3dfec23..0c67dcd 100644 --- a/TODO +++ b/TODO @@ -8,3 +8,5 @@ might allow goals to be called with labelled parameters. Functions, eg. wildcard("*.c"). These should be defined as shell scripts with a selection of common functions defined in stdlib. + +Fix: You must use 'all ()' on the command line. -- 1.8.3.1