summaryrefslogtreecommitdiffstats
path: root/devel/splint/HISTORY
diff options
context:
space:
mode:
Diffstat (limited to 'devel/splint/HISTORY')
-rw-r--r--devel/splint/HISTORY4
1 files changed, 4 insertions, 0 deletions
diff --git a/devel/splint/HISTORY b/devel/splint/HISTORY
index 44d48b7fb5..63ad1b26f8 100644
--- a/devel/splint/HISTORY
+++ b/devel/splint/HISTORY
@@ -1,3 +1,7 @@
+2014-05-24 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
+ * PRE_BUILD, 0001-fix-dependencies-in-Makefile.in.patch, DEPENDS:
+ fix dependency in Makefile.in
+
2008-05-20 Juuso Alasuutari <iuso@sourcemage.org>
* DETAILS: Updated to 3.1.2, corrected WEB_SITE.
* BUILD: Replaced ./configure && make with default_build,