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/.gitignore | |
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/.gitignore')
0 files changed, 0 insertions, 0 deletions