[7.2.178] Using negative value for device number might not work.
commit906dfa50f327ae725ff900c91ea7cbe1fcc4fa1c
authorBram Moolenaar <Bram@moolenaar.net>
Sat, 16 May 2009 21:00:15 +0000 (16 21:00 +0000)
committerBram Moolenaar <Bram@moolenaar.net>
Sat, 16 May 2009 21:00:15 +0000 (16 21:00 +0000)
tree6d82befc4ebebc06259dd03c30c549c25109f694
parented84fc7dd66815248071e8d6a1d84c0ad4db85cf
[7.2.178] Using negative value for device number might not work.

Problem:    Using negative value for device number might not work.

Solution:   Use a separate flag for whether ffv_dev was set.

Patch 7.2.178
src/misc2.c
src/version.c