empserver/man
Markus Armbruster 6a0f9d9874 client: Support $if Empire in .inputrc
Set the application name to "Empire" to support Empire-specific
customization of readline.  Use in .inputrc looks like this:

    $if Empire
    set bell-style audible
    set history-size 500
    else
    set bell-style visible
    $endif

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
2017-08-06 11:22:30 +02:00
..
emp_server.6 man: Get rid of unwanted space in SYNOPSIS 2015-03-08 17:48:17 +01:00
empdump.6 man: Get rid of unwanted space in SYNOPSIS 2015-03-08 17:48:17 +01:00
empire.6 client: Support $if Empire in .inputrc 2017-08-06 11:22:30 +02:00
empsched.6 man: Get rid of unwanted space in SYNOPSIS 2015-03-08 17:48:17 +01:00
fairland.6 man: Get rid of unwanted space in SYNOPSIS 2015-03-08 17:48:17 +01:00
files.6 man: Get rid of unwanted space in SYNOPSIS 2015-03-08 17:48:17 +01:00
pconfig.6 man: Get rid of unwanted space in SYNOPSIS 2015-03-08 17:48:17 +01:00