]> Kevux Git Server - fll/commit
Update: Add formal specification for Time and EpochTime and use IKI in the files.
authorKevin Day <thekevinday@gmail.com>
Fri, 16 Dec 2022 01:19:20 +0000 (19:19 -0600)
committerKevin Day <thekevinday@gmail.com>
Fri, 16 Dec 2022 01:19:53 +0000 (19:19 -0600)
commitefe663ca636e54e4e1c5839b088f3c4e9507af18
treef449818ca60b80e837a16436c757346599c7047d
parent00e1876eee9181545d08230aff2ea63b98736686
Update: Add formal specification for Time and EpochTime and use IKI in the files.
documents/time.txt
level_3/controller/documents/time.txt
level_3/controller/specifications/time.txt [new file with mode: 0644]
specifications/time.txt [new file with mode: 0644]