| commit | da6211ea662404fb96db071d3147afc19c9ed676 | [log] [tgz] |
|---|---|---|
| author | margaretha <margaretha@ids-mannheim.de> | Thu Jun 22 18:35:18 2017 +0200 |
| committer | margaretha <margaretha@ids-mannheim.de> | Thu Jun 22 18:35:18 2017 +0200 |
| tree | 7c67aa8615de80a22329fb7a3dae372a19793364 | |
| parent | e7badb34802682b4e8fe3a21360451458b9fd7aa [diff] |
Checked query serialization service. Potentially unused! Change-Id: I87b0d5a165d57e9782e2a1c7e3068f7f628343f3