> Date: Tue, 10 Jun 2014 10:05:52 +0100
> From: Neil Jerram <[email protected]>
> 
> On 2014-06-09 20:32, [email protected] wrote:
> > What’s the name of /dev/null on Windows?
> 
> NUL

Yes, "nul" case-insensitively.


Reply via email to