diff make-dist @ 91840:53e2227d1fae

(uniquify-buffer-base-name): New function. Suggested by Stefan Monnier <monnier@iro.umontreal.ca>.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 14 Feb 2008 14:32:44 +0000
parents e062f74910e7
children 20ff5c172e35
line wrap: on
line diff