Fix font typo in previous doc fix.
commit1564a265b94d793288a0ccb56b76af7c3b7ca411
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 30 Nov 2015 17:00:25 +0000 (30 09:00 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 30 Nov 2015 17:00:25 +0000 (30 09:00 -0800)
treeb126298b43ea400fc754b8e162df4ef58fec6441
parentf0067611f158e424e19d4d9f7e0c43b559ae633d
Fix font typo in previous doc fix.
doc/lispref/os.texi