|
From: | Lennart Borgman |
Subject: | Re: [PATCH 6/9] Rename `w32' local to `nt' for clarity |
Date: | Tue, 7 Aug 2012 12:49:20 +0200 |
Maybe "w32nt" is better than just "nt"? It is much easier to search for.
[Prev in Thread] | Current Thread | [Next in Thread] |