tree d171196ad7037f8fd9c9bf87754cd99df4497f0c
parent bf09b191e23b82e4aa543e9155c5b6c07b52cc4e
author margaretha <margaretha@ids-mannheim.de> 1733218290 +0100
committer margaretha <margaretha@ids-mannheim.de> 1733225906 +0100

Use operation:override in virtual corpus (reference) rewrite (#780).

Change-Id: I1a6d5506e89d42b0be7f97cd289146eb9c39decb