Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
src/: remove version.h.dist from gitignore
It has not been used since commit f7bfdba in 2011
- Loading branch information