Correct the path of the autogenerated version file in .gitignore.#3718

Merged

kroening merged 1 commit intodiffblue:developfrom

martin-cs:fix/ignore-autogenerated-version

Jan 8, 2019

Commits on Jan 8, 2019

Correct the path of the autogenerated version file in .gitignore.
martin
committed