mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2025-12-29 16:00:17 +00:00
5 lines
105 B
Plaintext
5 lines
105 B
Plaintext
@set UPDATED 30 July 2002
|
|
@set UPDATED-MONTH July 2002
|
|
@set EDITION ss-20020717
|
|
@set VERSION ss-20020717
|