diff options
author | Bruce Momjian <bruce@momjian.us> | 2001-11-26 21:42:24 +0000 |
---|---|---|
committer | Bruce Momjian <bruce@momjian.us> | 2001-11-26 21:42:24 +0000 |
commit | 07c3f00b142fd5ee011909c55665469a268cd572 (patch) | |
tree | beedcf83015accfa5fd04434fbc2483f017c9de8 /src | |
parent | 2337780e0e17a9d7e7caf72a69440e1e6c7abe4b (diff) |
Rename find_baddefs to find_badmacros
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 |