> Date: Tue, 10 Jun 2014 10:05:52 +0100 > From: Neil Jerram <n...@ossau.homelinux.net> > > On 2014-06-09 20:32, l...@gnu.org wrote: > > What’s the name of /dev/null on Windows? > > NUL
Yes, "nul" case-insensitively.
> Date: Tue, 10 Jun 2014 10:05:52 +0100 > From: Neil Jerram <n...@ossau.homelinux.net> > > On 2014-06-09 20:32, l...@gnu.org wrote: > > What’s the name of /dev/null on Windows? > > NUL
Yes, "nul" case-insensitively.