diff configure @ 34698:cc62e2e0949d

(Fw32_shell_execute): Use it.
author Andrew Innes <andrewi@gnu.org>
date Mon, 18 Dec 2000 23:52:40 +0000
parents d39dd1c5b93f
children eb8cfdc5cabf
line wrap: on
line diff