From dffabc78b6c1e4e01b2618f5ba274b375b5c7cc4 Mon Sep 17 00:00:00 2001 From: funemy Date: Sun, 23 Oct 2022 19:27:25 -0700 Subject: minor --- entries/funemy/z3/z3fib.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'entries/funemy') diff --git a/entries/funemy/z3/z3fib.sh b/entries/funemy/z3/z3fib.sh index ecf42b4..07ab418 100755 --- a/entries/funemy/z3/z3fib.sh +++ b/entries/funemy/z3/z3fib.sh @@ -1,7 +1,7 @@ #!/bin/bash -# Instruction: -# 1. having z3 installed and under you $PATH +# Instructions: +# 1. having z3 installed and put under your $PATH # 2. making sure z3fib.sh is executable, by `chmod +x z3fib.sh` # 3. running as `./z3fib.sh [length of the fib sequence]` # 4. having fun :) -- cgit v1.2.3-70-g09d2