--- layout: fc_discuss_archives title: Message 59 from Frama-C-discuss on May 2009 ---
Hello, Dragan <dragan.stosic at gmail.com> writes: > Unfortunately http://bts.fram-c.com/ doesn't works. It is http://bts.frama-c.com You need to create a login on the Mantis BTS to write or even *read* the wiki (sigh). Yours, d. -- GPG/PGP key: A3AD7A2A David MENTRE <dmentre at linux-france.org> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A