Makefile: do not depend copy_version_source on $(VERSION_FILE).
[armadillo.git] / README.md
2012-08-12 Robert SesekMerge branch 'Makefile'
2012-08-12 Robert SesekCreate a README file