From 9e1127e782d9527a883c887beaba1577eaccf5bc Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 11 Feb 2016 11:07:07 +0100
Subject: [PATCH] remove E-ACSL internal entry from Changelog

---
 src/plugins/e-acsl/doc/Changelog | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 386e5b6343c..e4aa0f93664 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,8 +15,6 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
-o  E-ACSL       [2016/02/03] Added scripts/testrun.sh - a convenience wrapper
-	        around e-acsl-gcc.sh for use with testing.
 -* E-ACSL       [2016/01/15] Fix installation with custom --prefix.
 -* E-ACSL       [2016/01/05] Fix bug in the memory model that caused the
 	        tracked size of heap memory be computed incorrectly.
-- 
GitLab