diff options
| author | Jon Marius Venstad <venstad@gmail.com> | 2018-05-24 21:35:10 +0200 |
|---|---|---|
| committer | Jon Marius Venstad <venstad@gmail.com> | 2018-05-24 21:35:10 +0200 |
| commit | 3add3a4cfe5016713a52d0482293b302d0b959eb (patch) | |
| tree | 0c295851ee159b63c029dc27e2b614b087584b35 /predicate-search | |
| parent | 3d474dac8e68ee68af425aec0abe419b5997c898 (diff) | |
Relax input typejvenstad/utils
Diffstat (limited to 'predicate-search')
0 files changed, 0 insertions, 0 deletions