Gurkenmaster·vor 11 Jahren·discussSearching through source code in github is horrible. It only searches through the content and completly ignores filenames which makes it absolutely useless to me.