diff docs/obs-terms.rst @ 2101:de92f7efb030

cleanup: drop an empty section header
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Tue, 14 Mar 2017 09:51:25 -0700
parents ec4167ac79ab
children 07ce6c063c61
line wrap: on
line diff