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