diff options
| author |   Alexey Neyman <stilor@att.net> | 2018-11-07 07:49:37 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2018-11-07 07:49:37 (GMT) |
| commit | 94e79672619ae0e45cf668d83648d00cf0a65096 (patch) | |
| tree | 9bb45a6bfff5621f2fe9ce87c01d0a8e2b6362d1 /config | |
| parent | c00822f46804c333b02055b3ab374b97e50221a6 (diff) | |
| parent | 4acea9cc95db1c4f02bcfb52add9f4d4a736dc2a (diff) | |
Merge pull request #1087 from stilor/pr-985
Fix detection of missing overlays
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions