diff options
| author | Pjotr Prins | 2017-10-26 08:07:28 +0000 |
|---|---|---|
| committer | Pjotr Prins | 2017-10-26 08:07:28 +0000 |
| commit | 3f2ebeba716ccc04f08e4245db4ffbc377c10206 (patch) | |
| tree | 566fb7c2b5e8268ebc7d871c2fc88e1ca83c06b3 /.gitignore | |
| parent | f9eacf6637b091c794a4692cfd0646c9a5bcf35a (diff) | |
| download | pangemma-3f2ebeba716ccc04f08e4245db4ffbc377c10206.tar.gz | |
VERSION now contains the GEMMA version number. A script generates a header
file named ./src/version.h. See Makefile for details.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,6 +1,7 @@ *.o *.tar.gz src/Eigen +src/version.h example/output test/output ./output |