From: Ralph Corderoy <ralph@inputplus.co.uk>
Date: Thu, 25 May 2017 15:29:33 +0000 (+0100)
Subject: uip/popsbr.c: Delete unused pop_list(), etc.
X-Git-Url: https://diplodocus.org/git/nmh/commitdiff_plain/4439993897592e11a34deedb103a93e8f9aab16a?ds=sidebyside;hp=4439993897592e11a34deedb103a93e8f9aab16a

uip/popsbr.c: Delete unused pop_list(), etc.

Those deleted: pop_list(), pop_noop(), pop_rset(), and pop_top().
---