diff options
Diffstat (limited to '_includes/gw_tools/search_github.html')
| -rw-r--r-- | _includes/gw_tools/search_github.html | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/_includes/gw_tools/search_github.html b/_includes/gw_tools/search_github.html deleted file mode 100644 index efcc5e8..0000000 --- a/_includes/gw_tools/search_github.html +++ /dev/null @@ -1,10 +0,0 @@ -<form method="GET" action="{{ site.github.repository_url }}/search"> - <input type="text" name="q[]" placeholder="Text to search"> - {% if site.use_github_wiki %} - <input type="hidden" name="type" value="Wikis"> - {% else %} - <!-- <input type="hidden" name="l" value="Markdown"> --> - <input type="hidden" name="q[]" value="path:/{{ site.wiki_folder }}"> - {% endif %} - <input type="submit" value="Search"> -</form>
\ No newline at end of file |