diff man/ada-mode.texi @ 34452:e381d256c0c2

(Fx_hide_tip): Fix last change.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 11 Dec 2000 21:13:10 +0000
parents 95bdbefcdac6
children 45500c80145f
line wrap: on
line diff