diff docs/obs-terms.rst @ 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 07ce6c063c61
children 8406d9b06130
line wrap: on
line diff