« Previous | Next » 

Revision 9d72dba0

ID9d72dba06a5801d542b3c8f812ec2ea8d76b62c6

Added by Karsten Dambekalns over 9 years ago

[BUGFIX] Remove unused configuration option from settings

This change removes a no longer used/supported option from the
shipped Development configuration.

Change-Id: I8b113a3ad60fdc47cc3cb450e8f1d8ac7afdd352
Fixes: #37966
Releases: 1.1, 1.2

  • added
  • modified
  • copied
  • renamed
  • deleted