diff options
| author | Yong He <yonghe@outlook.com> | 2020-08-18 13:08:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-18 13:08:45 -0700 |
| commit | b820f34a1b6336af184458c5b1dfe2273c99f1ff (patch) | |
| tree | ca9986891127cfe07eda18bfbdb5094eef5677cc /.gitignore | |
| parent | 9abcb6ea24dbc7184c3a2ad9f4458f63f8901928 (diff) | |
Support initializing an existential value from a generic value. (#1503)
* Support initializing an existential value from a generic value.
* Remove trailing spaces and clean up debugging code.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 1471d0b6e..0ee4e49e4 100644 --- a/.gitignore +++ b/.gitignore @@ -7,6 +7,7 @@ *.sdf *.ilk *.obj +.clang-format bin/ intermediate/ build.*/ |