If you mean the font used on the command-line, it probably didn't have a name. I'm pretty sure it was whatever the operating system equivalent of hard-wired in - I don't remember any way to change it, and that's the kind of decorative tweaking I would have wanted to play with back in those days.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2013-09-15 02:16 pm (UTC)