diff options
Diffstat (limited to 'VERSION')
-rw-r--r-- | VERSION | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/VERSION b/VERSION deleted file mode 100644 index 56a4f35499..0000000000 --- a/VERSION +++ /dev/null @@ -1,5 +0,0 @@ -# -# This file is automatically generated -- DO NOT EDIT!!! -# - -RTEMS Version 4.10.99.0 |