diff man/maintaining.texi @ 62122:96701ef6c56d

(webjump): Replace `assoc-ignore-case' by `assoc-string'.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 06 May 2005 19:26:33 +0000
parents 0d13c2e5baa9
children 0659ac37d53c 146c086df160
line wrap: on
line diff