diff lispintro/missing @ 76812:dc6d80edce90

(info-tool-bar-map): Use "exit" for Info-exit. Move to the right.
author Reiner Steib <Reiner.Steib@gmx.de>
date Fri, 30 Mar 2007 21:48:52 +0000
parents 6d19c76d81c5
children
line wrap: on
line diff