mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-19 10:33:32 +08: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
|