Index: mandoline/tools/data/FILES.cfg |
diff --git a/mandoline/tools/data/FILES.cfg b/mandoline/tools/data/FILES.cfg |
index 3f54ab973323e3a7d19cb7186e0e30dde3e40fc4..74da561abeb92703ee7ce58488fcf89944d6f9d1 100644 |
--- a/mandoline/tools/data/FILES.cfg |
+++ b/mandoline/tools/data/FILES.cfg |
@@ -51,6 +51,11 @@ FILES = [ |
'platforms': ['win'], |
}, |
{ |
+ 'filepath': 'omnibox', |
+ 'platforms': ['linux', 'win'], |
+ 'directory': True, |
+ }, |
+ { |
'filepath': 'pdf_viewer', |
'platforms': ['linux', 'win'], |
'directory': True, |