diff lispintro/cons-2.eps @ 81828:793a39ce6d90

(desktop-buffer-info, desktop-save): Use `desktop-dirname' instead of `dirname'.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 12 Jul 2007 22:39:35 +0000
parents 6ad2412f0362
children ee787fc40e93
line wrap: on
line diff