ROADMAP : add a tag, increment the version

c55e3d82 · François Bobot · 1b3000db · c55e3d82
Commit c55e3d82 authored Jul 05, 2011 by François Bobot
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletion

ROADMAP ROADMAP +4 -1

No files found.
--- a/ROADMAP
+++ b/ROADMAP
@@ -90,7 +90,10 @@

 * DONE update why3 output of Why2, release Why 2.30

-* increment the magic number in config (A)
+* The last commit (A):
+  ** increment the magic number in config (DONE this morning do we really need another bump? But that cost nothing...)
+  ** add a tag to the git repository
+  ** The next commit : increment de why3 version

 * document "Make obsolete" (A)