diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 67f8c18f0637..a68a0ca69370 100644 --- a/.gitignore +++ b/.gitignore @@ -7,4 +7,5 @@ *.sig *.jar pkg/ -src/
\ No newline at end of file +src/ +hdf5-1.12.patch |