HomePhabricator

more direct output of XML material -- bypass Buffer.T;

Authored by makarius.

Description

more direct output of XML material -- bypass Buffer.T;

Details

Committed
makariusNov 2 2019, 12:39 PM
Parents
rISABELLEff11af12dfdd: clarified signature;
Branches
Unknown
Tags
Unknown