« Previous | Next » 

Revision dd7710a6

IDdd7710a65f66786cbebb36ec1df631fa2c436f28
Parent e05dddc4
Child 08bf82bb

Added by Peter Amstutz 4 months ago

10401: Use use_custom_schema feature for extensions.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences