diff lib-src/makefile.w32-in @ 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 f12b62910def
children b315d660621f b009fb9581ca 92c344270c8a
line wrap: on
line diff