Plugin: Integration in das Plugin "Erweiterte Suche"

Votes: 1

Plugin: Integration in das Plugin "Erweiterte Suche"

Type
New feature
Status
Closed
Assignee
Last Update
Jul 22nd 2018
Fixed version
7.0.8 7.1.2
Commits (3)
  • updated build configuration (Jul 22nd 2018) release/7.0

  • updated build configuration (Jul 22nd 2018) master

  • integration for plugin "Extended Search" by cwalz (Jul 8th 2018) master