From 2ccfba906c62357c94c1df77304cadf07cfaf5a8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 2 Apr 2019 15:50:59 +0200 Subject: [PATCH] * NEWS: Fix non-existent address --- NEWS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/NEWS b/NEWS index ac790f486..1bf5d76e4 100644 --- a/NEWS +++ b/NEWS @@ -4211,7 +4211,7 @@ New in spot 1.0 (2012-10-27): output more statistics. An introduction to these tools can be found on-line at - http://spot.lrde.lip6.fr/tools.html + http://spot.lrde.epita.fr/tools.html The former test versions of genltl and randltl have been removed from the source tree. The old version of ltl2tgba with its