diff CONTRIBUTE @ 78110:33c9a00ace1e

(desktop-buffer-info, desktop-save): Use `desktop-dirname' instead of `dirname'.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 12 Jul 2007 22:43:53 +0000
parents 92a0e87ff562
children 42f5a52dbf4b
line wrap: on
line diff