diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:11:01 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:11:01 (EST) |
| commit | 9165449b5fca37a6c6e01f45c9730cdf8b5aa044 (patch) | |
| tree | 7315ed62d29f756cc39934e3ec5cb1ce98126f42 /tools | |
| parent | 37812b8a4989583c4a542dc1ce9625c322a8fd35 (diff) | |
src/prokit.sh: Don't use use()
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions