> 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.


Reply via email to