diff man/basic.texi @ 31628:9d1b600b5ace

(SHELLTYPE): New define.
author Andrew Innes <andrewi@gnu.org>
date Thu, 14 Sep 2000 21:45:45 +0000
parents dddb1bca9704
children 9ab15b2742ba
line wrap: on
line diff