diff make-dist @ 105374:28c45fa22117

* w32fns.c (Fsystem_move_file_to_trash): Use delete-directory.
author Michael Albinus <michael.albinus@gmx.de>
date Fri, 02 Oct 2009 06:00:58 +0000
parents b51e687e8c81
children a431286b73b3
line wrap: on
line diff