diff options
| author | Mirek Kratochvil <miroslav.kratochvil@uni.lu> | 2023-06-19 10:50:19 +0200 |
|---|---|---|
| committer | Mirek Kratochvil <miroslav.kratochvil@uni.lu> | 2023-06-19 10:50:19 +0200 |
| commit | 92a5a0365b962311c982ef0d529a7f55b8484e95 (patch) | |
| tree | 4d883e8bfce55c7c30d983d00c2a3b8d5a9ddb76 /Types.hs | |
| parent | 6cbe3d4dfca2b0ddb596c1d6be6942f891b1becc (diff) | |
| download | reploy-92a5a0365b962311c982ef0d529a7f55b8484e95.tar.gz reploy-92a5a0365b962311c982ef0d529a7f55b8484e95.tar.bz2 | |
do not show the search hints by default
Diffstat (limited to 'Types.hs')
0 files changed, 0 insertions, 0 deletions