diff options
author | John Fultz <jfultz@wolfram.com> | 2015-08-20 04:49:46 -0500 |
---|---|---|
committer | John Fultz <jfultz@wolfram.com> | 2015-08-20 04:50:48 -0500 |
commit | 4ef5b33708a4ff0435d5c8254b860cd03a264c66 (patch) | |
tree | 42bd85545d978da36c8dedc5905e0a9f4e1665e0 /gaddagize/.gitignore | |
parent | 909c37b77534b88eeafac7a03286692c31cbb1ef (diff) |
Bug fixes to GaddagFactory
A few things from my last commit needed to be
fixed or improved.
Diffstat (limited to 'gaddagize/.gitignore')
-rw-r--r-- | gaddagize/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gaddagize/.gitignore b/gaddagize/.gitignore index f878785..3c70113 100644 --- a/gaddagize/.gitignore +++ b/gaddagize/.gitignore @@ -4,3 +4,4 @@ Makefile.Debug Makefile.Release debug release +gaddagize |