| commit | 8caf991547d73782c9e840cc60db184945fc5569 | [log] [tgz] |
|---|---|---|
| author | Marc Kupietz <kupietz@ids-mannheim.de> | Tue Jun 05 10:51:18 2018 +0200 |
| committer | Marc Kupietz <kupietz@ids-mannheim.de> | Tue Jun 05 10:51:18 2018 +0200 |
| tree | a0720571c3706a2f53ddaf711a7c8cdb6bb0dfb9 | |
| parent | 3400aa5ea896f3016bb63d0dcba632007d528a01 [diff] |
collocatordb: make sure that pmi is defined