Add CURRENT-FILE-TIME as an alias for ENCODED-TIME.
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Tue, 12 Jan 1993 19:49:25 +0000 (19:49 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Tue, 12 Jan 1993 19:49:25 +0000 (19:49 +0000)
commit7b0e587b46be781497224f4db957f35913dda147
treefb2ce38c2bb8b9509ee924f76ef7cf7c74d65ab9
parent6d935f4dd5619415af3040665ce96a7b0cfe4bda
Add CURRENT-FILE-TIME as an alias for ENCODED-TIME.
v7/src/microcode/prename.h