diff options
| author | funemy | 2022-10-24 02:27:25 +0000 |
|---|---|---|
| committer | funemy | 2022-10-24 02:27:25 +0000 |
| commit | dffabc78b6c1e4e01b2618f5ba274b375b5c7cc4 (patch) | |
| tree | 599f32f712d21d3d2167ae553cfe2186b0e97d67 /entries/funemy | |
| parent | 08986a7a748a8ae747e076a3807e367f479b3ece (diff) | |
minor
Diffstat (limited to 'entries/funemy')
| -rwxr-xr-x | entries/funemy/z3/z3fib.sh | 4 |
1 files changed, 2 insertions, 2 deletions
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 :) |