diff options
| author | Andrew Chambers <[email protected]> | 2021-10-11 11:54:34 +1300 |
|---|---|---|
| committer | Andrew Chambers <[email protected]> | 2021-10-11 11:54:34 +1300 |
| commit | dd694b1efdf09eeb063807a94305c5e933d4fea9 (patch) | |
| tree | 83dfd43ab1ba841c0d5b88c8a319c1108ea65bfd /README.md | |
| parent | fb0ac681dd8d271799c6652b1e581572cf68a9c3 (diff) | |
Use make instead of redo so more people can build it.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -17,12 +17,6 @@ Non Goals: # Building ``` -redo minias -``` - -or - -``` make ``` |