diff docs/conf.py @ 1008:a010ba5a0ffb

evolve: deprecated --obsolete and --old-obsolete option on commit and graft Such option are unlikely to make it into core, so we deprecate them to avoid uer discovery them and getting used to them.
author Pierre-Yves David <pierre-yves.david@fb.com>
date Wed, 30 Jul 2014 13:14:13 -0700
parents 34e4e51affd1
children fc6183051112
line wrap: on
line diff