| commit | a6f85eb98531af69557e1f92b32031212460c37a | [log] [tgz] |
|---|---|---|
| author | Wenzel Jakob <wenzel.jakob@epfl.ch> | Tue Oct 25 10:03:53 2016 +0200 |
| committer | GitHub <noreply@github.com> | Tue Oct 25 10:03:53 2016 +0200 |
| tree | 628c5dd2bf980acb20dbfbdc82035a6adbd089f8 | |
| parent | dd9bd7778f2e76f3e0234fa9602758dfe7169a59 [diff] | |
| parent | 6873c202b3fd2e2264b2566d60cf079ee9322264 [diff] |
Merge pull request #465 from jagerman/prevent-object-overwriting Prevent overwriting previous declarations