[splint-discuss] How to introduce new checks

[Nido]

I don't know how this stuff works; so I can  not help you with that. sorry.

2009/5/18 Kay Dohmann <kay at dohmanngmbh.de>:
> Hi again!
>
> Is noone here who could help me? Or is my problem/idea not clear?
>
> Best Regards,
> Kay Dohmann
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss