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