diff doc/runrst @ 25522:15c2c580b2a7

progress: deprecate the progress extension Activating it is a absolute no-op now.
author Pierre-Yves David <pierre-yves.david@fb.com>
date Mon, 08 Jun 2015 01:01:21 -0700
parents 1ae824142c01
children 63eae465095e
line wrap: on
line diff