set for dev

2013-05-22 10:43:47 -05:00 · 2013-05-22 10:43:47 -05:00 · 106a32a733
parent 0858e69cb1
commit 106a32a733
1 changed files with 2 additions and 0 deletions
--- a/VERSION.txt
+++ b/VERSION.txt
@ -1,3 +1,5 @@
+jetty-8.1.12-SNAPSHOT
+
 jetty-8.1.11.v20130520 - 20 May 2013
 + 402844 STOP.PORT & STOP.KEY behaviour has changed
 + 403281 jetty.sh waits for started or failure before returning