Léo Lam 1fe31f6f19 Tools: Fix the lint script ... It turns out that last fix was only partial, and it didn't fix the issue completely as paths were fixed, but staged changes were not in the list. This should fix it for real, this time. Sorry about that… (git diff needs --cached to include staged changes, unlike git status.)		2016-08-11 21:11:17 +02:00
..
buildbot-try.sh
check-includes.py
CleanFiles.py
deploy-mac.py
find-includes-cycles.py
gameini-ratings-from-wiki.sh
lint.sh	Tools: Fix the lint script	2016-08-11 21:11:17 +02:00
perf-disassemble.sh
ReadDolphinMap.idc
symbolicate-ppc.py	Tool to transform JIT_PPC_${address} to JIT_PPC_${symbol}	2015-07-24 00:11:56 +02:00
update-license-headers.sh