tree 941dac09e0e4e4d8ae55fa2e7f95ad8f70c99761
parent b8dd2e335109d67c998050711713f98288c33b23
author Marc Kupietz <kupietz@ids-mannheim.de> 1693147575 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1693147895 +0200

Also retrieve tokenized snippets

Change-Id: I83aa207161bc322d1a50107d52fb2a3b5fe707dd