|
|
26b0f33f96
|
-not is not portable, grep -v should work good enough though.
|
2023-02-24 02:02:47 +00:00 |
|
|
|
d81e8f3a32
|
We're building up some tools; let's print them out in env.sh
|
2023-02-17 18:26:08 +00:00 |
|
|
|
14c79a901a
|
Build improvements so we can easily port to more platforms.
|
2022-10-15 12:45:21 -04:00 |
|
|
|
2d6b80a26e
|
Move man pages into a proper man directory
|
2022-09-30 19:11:44 -04:00 |
|
|
|
e4c2d534fe
|
Apply #17
|
2022-07-30 09:37:08 -04:00 |
|
