diff options
| author |  Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2016-02-24 10:26:29 -0800 |
|---|---|---|
| committer | Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2016-02-24 10:26:29 -0800 |
| commit | d3a7b609179644138ca1f68457f92cbd73bdeb53 (patch) | |
| tree | 0312e7ba0b6f346d602223b27373b64b0f7dc75b /.gitignore | |
| parent | 91edc13bf8a83dd024f9ce4e0ad2246202545a38 (diff) | |
| parent | 4ea4599a50abb9188927846dc9f5449dbf5e8537 (diff) | |
Merge pull request #5365 from ctiller/naming-crisis
Add a sanity test to ensure that name aliasing rules are obeyed
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions