model-checker : update tesh

[simgrid.git] / NEWS

diff --git a/NEWS b/NEWS
index 4279855..99a0696 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,10 +1,10 @@
-
                     _               _____  _ ____
 __   _____ _ __ ___(_) ___  _ __   |___ / / |___ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | __) |
  \ V /  __/ |  \__ \ | (_) | | | |  ___) || |/ __/
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|_____|
 
+(to complete)
 
                     _               _____  _ _
 __   _____ _ __ ___(_) ___  _ __   |___ / / / |