diff docs/conf.py @ 3566:e6bea259c227

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