From 850b5827718539fa7ce9accfdca4771e3d7d53c7 Mon Sep 17 00:00:00 2001 From: Philipp Ruemmer Date: Tue, 29 May 2018 12:14:56 +0200 Subject: [PATCH] version number --- src/lazabs/Main.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lazabs/Main.scala b/src/lazabs/Main.scala index 37588e07..2405cdcc 100644 --- a/src/lazabs/Main.scala +++ b/src/lazabs/Main.scala @@ -250,7 +250,7 @@ object Main { val greeting = - "Eldarica v2.0-alpha1, 2018-01-29.\n(C) Copyright 2012-2018 Hossein Hojjat and Philipp Ruemmer" + "Eldarica v2.0-alpha2, 2018-05-29.\n(C) Copyright 2012-2018 Hossein Hojjat and Philipp Ruemmer" def doMain(args: Array[String], stoppingCond : => Boolean) : Unit = try {