diff Makefile @ 888:097ddcb0da25

evolve: add a hook related to the new pushobsmarkers command Before the current expericment, people could hook on obsolescence marker push using pushkey. We add a new hook to serve the same purpose.
author Pierre-Yves David <pierre-yves.david@fb.com>
date Thu, 27 Mar 2014 11:12:56 -0700
parents ca5bb72d14ae
children bfbd99b50f8f
line wrap: on
line diff