diff options
Diffstat (limited to 'scripts/TODO')
-rw-r--r-- | scripts/TODO | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/scripts/TODO b/scripts/TODO deleted file mode 100644 index 98970c979b..0000000000 --- a/scripts/TODO +++ /dev/null @@ -1,7 +0,0 @@ -# -# $Id$ -# - -There is plenty left to do on this :) - - + Add GNAT/RTEMS version. |