Gurkenmaster·11 ปีที่แล้ว·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.