]> diplodocus.org Git - nmh/commitdiff
uip/popsbr.c: Delete unused pop_list(), etc.
authorRalph Corderoy <ralph@inputplus.co.uk>
Thu, 25 May 2017 15:29:33 +0000 (16:29 +0100)
committerRalph Corderoy <ralph@inputplus.co.uk>
Thu, 25 May 2017 15:37:56 +0000 (16:37 +0100)
Those deleted: pop_list(), pop_noop(), pop_rset(), and pop_top().


No differences found