diff options
Diffstat (limited to 'devel/why/HISTORY')
-rw-r--r-- | devel/why/HISTORY | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/devel/why/HISTORY b/devel/why/HISTORY new file mode 100644 index 0000000000..3312717f15 --- /dev/null +++ b/devel/why/HISTORY @@ -0,0 +1,6 @@ +2013-05-31 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * PRE_BUILD: fix incompatibility with frama-c Fluorine-20130501 + +2013-05-26 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * BUILD, DEPENDS, DETAILS: spell created + |