diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-10-07 13:13:33 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-10-07 13:13:33 (EDT) |
| commit | dea2e9719dbc7b855292e227696497d8a893193b (patch) | |
| tree | 099b9c780ce6602414fcc03c7f026536f6169d62 /lib/getopt.sh | |
| parent | e110fb741bb16bb3c24253d63a259d2a19ee48c3 (diff) | |
session_begin(): Check for /prokit/installing
Diffstat (limited to 'lib/getopt.sh')
0 files changed, 0 insertions, 0 deletions