diff docs/figures/figure-ug11.svg @ 2984:30f6030dca8f

topics: signal to the end user when a topic has been forgotten Situation is: * we're updating outside an empty topic. * we've cleared topics
author Aurélien Campéas
date Tue, 26 Sep 2017 12:27:43 +0200
parents 8328337d23b2
children 091eab1223a4
line wrap: on
line diff