tree 97a04fc545628dc701a7d510724e703e0d8b2d86
parent 5e12c738a9677d9979055f52fc384bbd7ae00073
author margaretha <margaretha@ids-mannheim.de> 1778880606 +0200
committer margaretha <margaretha@ids-mannheim.de> 1778880606 +0200

Make large context group optional and disabled by default [AI-assisted]

Change-Id: I2b619a15f5aa6d99b7637b883b28737de3274d26