Project

General

Profile

« Previous | Next » 

Revision 68f9b972

Added by Eric Helms about 8 years ago

Fixes #13417: Provide facet registration through plugin API

(cherry picked from commit 7d90b5cb23decf7d9f6f09f8114ea8a9b1f697a0)

  • added
  • modified
  • copied
  • renamed
  • deleted