From 439577068286d8cb6c38f6032cc95f0ff9f99676 Mon Sep 17 00:00:00 2001 From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr> Date: Wed, 10 Feb 2016 18:09:06 +0100 Subject: [PATCH] Removed the note regarding a change in user manual from docs/Changelog as it belongs to doc/userman/changes.tex --- 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 762adf44aa0..386e5b6343c 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 ############################################################################### -- E-ACSL [2016/02/08] Added documentation for the e-acsl wrapper script - to the E-ACSL user manual. 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. -- GitLab