diff options
author | John Fultz <jfultz@wolfram.com> | 2015-10-18 23:35:21 -0500 |
---|---|---|
committer | John Fultz <jfultz@wolfram.com> | 2015-10-18 23:35:21 -0500 |
commit | 2c2a91a6154a8dafa1415ec546ac07b2486b6743 (patch) | |
tree | cc2f799c30b4d1fdcfaac9970680998abb0788ec /gaddagize | |
parent | 06b0b048147df0387001f8c4bf8f52851d722240 (diff) | |
parent | 23f13f666c42068ed086c5a5791063465db653c7 (diff) |
Merge branch 'feature/editablesettings'
Diffstat (limited to 'gaddagize')
-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 |