Commit 593b1d1d by Francois Gygi

update release string to 1.9

parent ddcb6998
......@@ -159,7 +159,7 @@ void skipln(void)
const string release="1.8";
const string release="1.9";
int main(int argc, char** argv)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment