tree 116fc1b53a3fd0e2f6060d79b5d1cd2028de8fa9
parent 5fa32a3694ee667cf4641dc46972a1d7c3fe7d1a
author Radek Krejci <rkrejci@cesnet.cz> 1612862478 +0100
committer Michal Vasko <mvasko@cesnet.cz> 1614346506 +0100

INFO printer FEATURE generic extension content printer

callback for the extension plugins to print the compiled content of the
extension instance.