diff --git a/VERSION b/VERSION index dada37aeda..2716fa052f 100644 --- a/VERSION +++ b/VERSION @@ -1,5 +1,9 @@ # +# Version file +# +# This file is automatically generated -- DO NOT EDIT!!! +# # $Id$ # -RTEMS Version ss-20000616 +RTEMS Version ss-20000717