chiark / gitweb /
More sophisticated handling of program name
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Jun 2021 17:50:23 +0000 (18:50 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Jun 2021 17:50:53 +0000 (18:50 +0100)
commitc5b1be346c17df4838787a2ea5fa33f478669a31
tree67513fb71a09739b96661320799ae87e52a20a8f
parent33386a656d9bdd74f286b34f50d9592725ab1dc1
More sophisticated handling of program name

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otter.rs
src/config.rs
src/utils.rs