[frama-c: 4/4] Merge branch 'f21'

[Jerry James]

commit 5298e1888ff8b1594ff7db28abe7ec67a334c9fe
Merge: 11fb2e7 62155a0
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Mon Sep 8 11:17:08 2014 -0600

    Merge branch 'f21'

 frama-c-why3.patch |  131 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 frama-c.spec       |   12 ++++-
 2 files changed, 140 insertions(+), 3 deletions(-)
---