mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2025-12-28 07:20:16 +00:00
Miscellaneous improvements and cleanups committed so I can merge
Ralf's end of day version.
This commit is contained in:
@@ -1 +1,7 @@
|
||||
#
|
||||
# $Id$
|
||||
#
|
||||
|
||||
There is plenty left to do on this :)
|
||||
|
||||
+ Add GNAT/RTEMS version.
|
||||
|
||||
Reference in New Issue
Block a user