tree deae82bb1b6ecea9b00c7a3a1d684738ffc6f834
parent a4f30acc884ed6a75f91186042015e66d00749ae
author William D. Jones <thor0505@comcast.net> 1599446049 -0400
committer William D. Jones <thor0505@comcast.net> 1599446049 -0400

Remove EFB.v- ask user to regenerate if necessary.