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	Tools: Collapse install_name_tool calls in deploy-mac	2015-06-06 12:51:47 -07:00
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	Tools: add disassemble script for perf	2015-02-08 00:39:54 +01:00
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	Tools: add script for updating license headers	2015-05-25 13:22:31 +02:00