diff options
author | P. J. McDermott <pj@pehjota.net> | 2015-10-28 17:02:53 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2015-10-28 17:03:27 (EDT) |
commit | c68875b62f2664892822ec5f4459289295c50861 (patch) | |
tree | 55d42511d8746c5beb0dfbcca914a321b3779c1a /.gitignore | |
parent | 3a5e42fc90730ba5ae8fcd0cfd5d7b0109613a25 (diff) | |
download | firman.sh-c68875b62f2664892822ec5f4459289295c50861.zip firman.sh-c68875b62f2664892822ec5f4459289295c50861.tar.gz firman.sh-c68875b62f2664892822ec5f4459289295c50861.tar.bz2 |
resume_ui(): Drop
We won't temporarily leave the UI to run a shell as originally planned,
so this function won't be necessary.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions