]> 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:20 +0000 (19:19 -0600)
commit345296659bc1d9c40bfd4bc5aa1c838a3b4cf491
tree46af555f8c0d6bdb0e3185874d3a94701279e262
parentea6d88bfc253d0c88a56632b4240c51c8eda42da
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]