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