diff contrib/undumprevlog @ 23219:61cd79ac4b99

exchange: swap "push" for "pull" in pulloperation docstring
author Mike Edgar <adgar@google.com>
date Fri, 24 Oct 2014 15:58:46 -0400
parents cba222f01056
children 5bd1f6572db0
line wrap: on
line diff