diff docs/figures/figure-ug08.svg @ 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 803d32f4e498
children
line wrap: on
line diff