search

gitbucket-plugins / gitbucket-plugins.github.io

gitbucket-plugins community site
http://gitbucket-plugins.github.io
13 stars 4 forks source link

Search bar #46

Open onukura opened 4 years ago

onukura commented 4 years ago

would be useful to search by keyword.