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