diff options
author | jsorg71 <jay.sorg@gmail.com> | 2017-01-20 10:19:18 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-20 10:19:18 +0300 |
commit | 365e54ef04f714b0a32d3bb12616b18e3141cb0a (patch) | |
tree | c23a6d1003a0001764d8771d5084c8c32177b516 | |
parent | bc30b7af54d29ca4aae99d6504455bfec012c074 (diff) | |
parent | b9300b2e03a397f77bd8d60c8db8909083d630f0 (diff) |
Merge pull request #10 from neutrinolabs/master
Bring devel branch up to date with master
-rw-r--r-- | m4/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/m4/.gitignore b/m4/.gitignore new file mode 100644 index 0000000..94f2b51 --- /dev/null +++ b/m4/.gitignore @@ -0,0 +1,2 @@ +libtool.m4 +lt*.m4 |