Merge pull request #66 from mortberg/shadowed
authorAnders Mörtberg <andersmortberg@gmail.com>
Thu, 8 Jun 2017 20:58:05 +0000 (22:58 +0200)
committerGitHub <noreply@github.com>
Thu, 8 Jun 2017 20:58:05 +0000 (22:58 +0200)
commit8a4ab0700eea707811a96f91ad537043d8ef12f7
tree11738087c9b1b9f9b628c69d922772cb02249b85
parent290fb3c5101cf2957596cd21dfc8c04f6c441ca2
parentcc8624deb7441fd4655a9f559cb44645eb979e8b
Merge pull request #66 from mortberg/shadowed

Check if some names were shadowed while loading a file