diff lib-src/pop.h @ 77710:d6d820294ed5

(Info-current-subfile): Doc fix.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 16 May 2007 11:23:32 +0000
parents 6d19c76d81c5
children 1f2482de3237 95d0cdf160ea
line wrap: on
line diff