diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:11:23 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:11:23 (EST) |
| commit | fedbce4eb90adcecfbac8c54ea8df1c787ece3c8 (patch) | |
| tree | f0eb9f98b92728f093e1c9901addbac1e9f7a6b6 | |
| parent | 9165449b5fca37a6c6e01f45c9730cdf8b5aa044 (diff) | |
use(): Remove
| -rw-r--r-- | src/prokit.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/prokit.sh b/src/prokit.sh index b4860b5..6ce8740 100644 --- a/src/prokit.sh +++ b/src/prokit.sh @@ -42,12 +42,6 @@ else builddir='' fi -# use() must be defined inline so it can be used to load other modules. -use() -{ - : Stub to be removed. -} - main() { local cmd= |