diff docs/conf.py @ 3562:fe16284cd95a

evolve: include "operation" metadata in obsmarkers
author Martin von Zweigbergk <martinvonz@google.com>
date Mon, 12 Mar 2018 15:40:28 -0700
parents 9aec8fec2bf8
children ce163aaeba37
line wrap: on
line diff