« Previous | Next » 

Revision 820d3244

ID820d3244a25aa8b4658ab79cd8368492aeddc739
Parent acefccc4
Child 6b0632d7

Added by Peter Amstutz 3 months ago

10401: Use use_custom_schema feature for extensions.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences