diff lib-src/pop.h @ 106968:8c9b1893adfe

Fix some details of previous change.
author Glenn Morris <rgm@gnu.org>
date Sat, 23 Jan 2010 15:18:58 -0800
parents 1d1d5d9bd884
children fdbd24f8d999 376148b31b5e
line wrap: on
line diff