diff Makefile @ 1036:70de12b7721a

evolve: re-introduce the "pushing 42 markers…" message Informing the user about marker behind pushed sounds a good idea.
author Pierre-Yves David <pierre-yves.david@fb.com>
date Fri, 08 Aug 2014 17:29:29 -0700
parents ca5bb72d14ae
children bfbd99b50f8f
line wrap: on
line diff