From 6bfd1a97cc18e13ceb075557448f29b982bfe520 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 29 Oct 2018 15:34:24 +0100
Subject: [PATCH] Sets version and codename to 18.0-beta (Argon).

---
 VERSION          | 2 +-
 VERSION_CODENAME | 2 +-
 opam/opam        | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/VERSION b/VERSION
index 7ca8bebe196..0f31a88fe9c 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-17.0+dev
+18.0-beta
\ No newline at end of file
diff --git a/VERSION_CODENAME b/VERSION_CODENAME
index a2870067846..fadca8279f3 100644
--- a/VERSION_CODENAME
+++ b/VERSION_CODENAME
@@ -1 +1 @@
-Chlorine
\ No newline at end of file
+Argon
\ No newline at end of file
diff --git a/opam/opam b/opam/opam
index 35cd093072a..df7158ed6fb 100644
--- a/opam/opam
+++ b/opam/opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "20180502"
+version: "18.0"
 maintainer: "francois.bobot@cea.fr"
 authors: [
   "Michele Alberti"
-- 
GitLab