fixed linting
authorceriel <none@none>
Mon, 2 Mar 1992 16:47:03 +0000 (16:47 +0000)
committerceriel <none@none>
Mon, 2 Mar 1992 16:47:03 +0000 (16:47 +0000)
commita0aa85fa4ee5f0dd1cdf72c18d2002c6b33588db
treef07d8f7dfd652e8876e8c2113e54056fa1c0473e
parentd233bcfa50eede4ecd9ad4f2bcaec1289ee501ec
fixed linting
util/grind/proto.make