diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/find_badmacros (renamed from src/tools/find_baddefs) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/tools/find_baddefs b/src/tools/find_badmacros index 8a12b59becf..8a12b59becf 100755 --- a/src/tools/find_baddefs +++ b/src/tools/find_badmacros |