diff options
author | Ghostkeeper <rubend@tutanota.com> | 2017-05-04 18:57:55 +0300 |
---|---|---|
committer | Ghostkeeper <rubend@tutanota.com> | 2017-05-04 18:57:55 +0300 |
commit | eb52e4fb7e873c33cfdcc579bfa25c3b6b22b248 (patch) | |
tree | cd048f47a9387ab927cc21d7b1136c44507dacb6 /.gitignore | |
parent | 81ea9556ebb01606788e5ae6eb637aea208102bc (diff) |
Ignore default name of ProfileFlattener too
It already ignored FlatProfileExporter, but that's just a renamed version of what is now called ProfileFlattener.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 52d888f465..bb6bd49add 100644 --- a/.gitignore +++ b/.gitignore @@ -35,6 +35,7 @@ plugins/GodMode plugins/PostProcessingPlugin plugins/X3GWriter plugins/FlatProfileExporter +plugins/ProfileFlattener plugins/cura-god-mode-plugin #Build stuff |