tree b2b9d60aceff543eefa57bea7f62bad9e141f488
parent a0e6b60e8f1c7f61097afc6c5371d0bf8f19c2cf
author Davide Pesavento <davidepesa@gmail.com> 1611689771 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1611695333 -0500

poke+pingserver: remove deprecated command-line options

Change-Id: Ic5518f1ca54edcb4a4c4fbe16f96b207dc867ebf