public / ack.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1889748) | patch
Do not install lintlib by default: maybe lint is not installed yet
authorceriel <none@none>
Wed, 9 Oct 1991 19:12:52 +0000 (19:12 +0000)
committerceriel <none@none>
Wed, 9 Oct 1991 19:12:52 +0000 (19:12 +0000)
commit64eacb4c9f926ccbe0d61487fbf2bdd5bb9baaaa
tree6d0c796281e8b17c54a9dc8cafa1b0708bb0b69btree | snapshot
parent18897487a9a842b172bb075396eaaa7e8f17746dcommit | diff
Do not install lintlib by default: maybe lint is not installed yet
util/ego/share/proto.make diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.