diff options
| author | Hugo Herbelin | 2014-09-07 13:05:22 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-09-07 13:48:48 +0200 |
| commit | 69665dd2480d364162933972de7ffa955eccab4d (patch) | |
| tree | 02f956576637934c2d5504af6cfa9fd26c3bf8d9 /plugins/pluginsbyte.itarget | |
| parent | a5f615f814504790dbfd9a67f18125463be256c8 (diff) | |
Fixing a bug in intros_replacing which was causing inversion not
necessarily granting names given in the "as" clause.
Diffstat (limited to 'plugins/pluginsbyte.itarget')
0 files changed, 0 insertions, 0 deletions