On 03/02/2011 10:04 PM, Philipp Kern wrote: > > am Wed, Mar 02, 2011 at 09:40:16PM +0100 hast du folgendes geschrieben: >> I’d like to propose the following change for Frama-C. > > accepting this change would mean that a recompilation of why is needed, > correct? >
correct. (and there is a pending request for Why too). Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
