diff debian/source/format @ 4708:dcdd2b3ce52c stable

evolve: further clarify that update is performed only when requested Text further modified by Pierre-Yves David and Anton Shestakov.
author kevpeng@google.com
date Thu, 04 Jul 2019 17:32:58 +0200
parents 0021301f7fde
children
line wrap: on
line diff