diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/VERSION | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/VERSION b/doc/VERSION index e69de29bb2..38377d691e 100644 --- a/doc/VERSION +++ b/doc/VERSION @@ -0,0 +1,5 @@ +# +# $Id$ +# + +RTEMS Version 19990406 |