diff src/w32inevt.c @ 45673:fc6d3747add1

* bookmark.el (bookmark-file-or-variation-thereof): Just use Info-suffix-list, as suggested by Stefan Monnier.
author Karl Fogel <kfogel@red-bean.com>
date Sat, 08 Jun 2002 03:33:09 +0000
parents 64341c22fb4c
children 863817d7e734
line wrap: on
line diff