Searching in this Wiki

Jump to bottom Edit New page

Benjamin Cogrel edited this page Jan 5, 2016 · 4 revisions

Example in Google

mappings site:https://github.com/ontop/ontop/wiki/

https://www.google.it/?q=site:https://github.com/ontop/ontop/wiki
If you are using Chrome, You can '''Search this Wiki''' by installing the GitHub-Wiki-Search Extension

Copyright (c) 2009 -- 2016, Free University of Bozen-Bolzano