bibledit-shutdown - internal command for bibledit, a Bible editor
Bibledit is a Bible editor. It is started by typing "bibledit" on the
commandline. Binary "bibledit-shutdown" is used by Bibledit
internally. For more information see the online help of the graphical
user interface.
This program is distributed under the GNU General Public License, as
noted in each source file.