1. 7510412 plugins DOC updated documentation including transition manual and howtos by Radek Krejci · 3 years, 8 months ago
  2. 0b01330 plugins CHANGE unify naming in plugins API by Radek Krejci · 3 years, 8 months ago
  3. f8d7f9a extensions CHANGE CHANGE cleanup API of the schema printer for extension plugins by Radek Krejci · 3 years, 8 months ago