github-search-pronto/COPYING, branch master Search immediately inside a GitHub repository without having to wait for the drop-down Add license (GNU GPLv3+) 2018-11-21T07:35:01+00:00 Teddy Wing 2018-11-21T07:35:01+00:00 885745acd4f0970ed7aae1237f0c9ba3b6b6da57