debian/docs
author Pierre-Yves David <pierre-yves.david@fb.com>
Fri, 08 Aug 2014 17:29:29 -0700
changeset 1036 70de12b7721a
parent 531 b18b00036355
child 1103 d1ca81f9e458
permissions -rw-r--r--
evolve: re-introduce the "pushing 42 markers…" message Informing the user about marker behind pushed sounds a good idea.

html