diff options
author | 2013-02-24 19:27:07 -0800 | |
---|---|---|
committer | 2013-02-26 20:25:28 -0800 | |
commit | 0ce8ee0e8a9109d043697b7e3402fe12d7ee7542 (patch) | |
tree | 103735899cbd6639157ee602359979ca85bebad0 /paludis/args/man.cc | |
parent | 036c588e36df46dbd7a41b595747eccef3b44833 (diff) | |
download | paludis-0ce8ee0e8a9109d043697b7e3402fe12d7ee7542.tar.gz paludis-0ce8ee0e8a9109d043697b7e3402fe12d7ee7542.tar.xz |
perform some dead code elimintation
Excise some dead code identified by clang
Diffstat (limited to 'paludis/args/man.cc')
-rw-r--r-- | paludis/args/man.cc | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/paludis/args/man.cc b/paludis/args/man.cc index 6973ea430..ff1a4d451 100644 --- a/paludis/args/man.cc +++ b/paludis/args/man.cc @@ -90,21 +90,6 @@ namespace { } }; - - std::string escape_html_char(char c) - { - switch (c) - { - case '&': - return "&"; - case '<': - return "<"; - case '>': - return ">"; - default: - return std::string(1, c); - } - } } |