git://git.jankratochvil.net / nethome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 895eb3f) | patch
Implemented option --nm for alternate "nm" command specification
authorshort <>
Sat, 23 Feb 2002 22:52:57 +0000 (22:52 +0000)
committershort <>
Sat, 23 Feb 2002 22:52:57 +0000 (22:52 +0000)
commite3eaf8ea040bea082e4318b6bd56c97e3ea410cf
tree5f59ac8d301f5cb0bd11f4047c6cdec7c3ee4225tree
parent895eb3ff853d912cd6429e53e494de2756ef2fe0commit | diff
Implemented option --nm for alternate "nm" command specification
Implemented option --noheaders to disable headers checking at all
Fixed false "global singularity" reporting
bin/checkstatic diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.