RESOLVED - bug 215: Make -fpbits parameter available in HowToRun section of model editor  http://bugzilla.tlaplus.net/show_bug.cgi?id=215 - Default to 1 fbBits instead of 0 (zero is invalid input anyway)
RESOLVED - bug 215: Make -fpbits parameter available in HowToRun section
of model editor 
http://bugzilla.tlaplus.net/show_bug.cgi?id=215
- Default to 1 fbBits instead of 0 (zero is invalid input anyway)

git-svn-id: 7acc490bd371dbc82047a939b87dc892fdc31f59@24272 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c

tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus