diff etc/pl-refcard.ps @ 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 269e5ff39fcb
children
line wrap: on
line diff