diff options
author | w0rp <w0rp@users.noreply.github.com> | 2018-10-25 14:24:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-25 14:24:56 +0100 |
commit | b3829d043dec7c35870197eec4b50ab7a14ea1bf (patch) | |
tree | 3a51875d88a37de023f62f1ba871bdd4a08c02df /doc/ale-nroff.txt | |
parent | 68b55912990226003213c25e43a57847ac7f36f1 (diff) | |
parent | d14db50c4404cfdd95a5d3a19e7d6574b69aa2f0 (diff) | |
download | ale-b3829d043dec7c35870197eec4b50ab7a14ea1bf.zip |
Merge pull request #2012 from paihu/fix-cdstring-win32-change-drive
Fix #2011 MS Windows, lint error when current drive and target file drive is different.
Diffstat (limited to 'doc/ale-nroff.txt')
0 files changed, 0 insertions, 0 deletions