tree 3d60296cce6249e91e619b7d74dc9889e86ebc55
parent 0b50f6b92a32274fb6a5e218592d117e31288b1b
author Michal Vasko <mvasko@cesnet.cz> 1665044123 +0200
committer Michal Vasko <mvasko@cesnet.cz> 1667892325 +0100

tree schema CHANGE plugin record in parsed extensions