Tue, 12 Jun 2007 11:14:28 +0000 |
Juanma Barranquero |
(desktop-load-locked-desktop): New option.
|
Tue, 12 Jun 2007 09:11:31 +0000 |
Juanma Barranquero |
*** empty log message ***
|
Tue, 12 Jun 2007 09:10:05 +0000 |
Juanma Barranquero |
(desktop-save-mode-off): New function.
|
Tue, 12 Jun 2007 08:16:23 +0000 |
Glenn Morris |
Change bug address. Add back +++/--- note.
|
Tue, 12 Jun 2007 08:16:04 +0000 |
Glenn Morris |
*** empty log message ***
|
Tue, 12 Jun 2007 08:14:28 +0000 |
Glenn Morris |
*** empty log message ***
|
Tue, 12 Jun 2007 08:14:14 +0000 |
Glenn Morris |
(HAVE_GIF): Doc fix.
|