Use /dev/null instead of the Windows "nul" in flymake example
authorLars Magne Ingebrigtsen <larsi@gnus.org>
Fri, 15 Jul 2011 13:59:53 +0000 (15:59 +0200)
committerLars Magne Ingebrigtsen <larsi@gnus.org>
Fri, 15 Jul 2011 13:59:53 +0000 (15:59 +0200)
commit064e2d087eafc008377be3547bbed21267468422
tree91e85dabc70872bbe5e47405d38b1840aa9765e2
parent1b5eaeb36cb630692e7a9c523f49ad7e9c9e2263
Use /dev/null instead of the Windows "nul" in flymake example

Fixes: debbugs:8715
doc/misc/ChangeLog
doc/misc/flymake.texi