diff options
| author | OzoneGrif | 2020-02-27 18:36:06 +0100 |
|---|---|---|
| committer | GitHub | 2020-02-27 18:36:06 +0100 |
| commit | 5c88a08ee28ea37054144c336b14e55ab957f844 (patch) | |
| tree | eec84231d3c4fbe470e93b98333238f212ba7b27 /compiler/src/Config.hs | |
| parent | 3e27a3cfa35359f6ffa83843aa2f2ad53f42f1d4 (diff) | |
| parent | 4641f35baebd618ec51fa549adf64670c31c647f (diff) | |
| download | ldgallery-5c88a08ee28ea37054144c336b14e55ab957f844.tar.gz | |
Merge pull request #163 from pacien/oz-result-count-in-other-folders
viewer: added a count of results found in other folders when no-resul…
Diffstat (limited to 'compiler/src/Config.hs')
0 files changed, 0 insertions, 0 deletions