diff options
| author |  Joshua Humphries <jh@fullstory.com> | 2018-03-26 16:49:31 -0400 |
|---|---|---|
| committer |  Feng Xiao <xfxyjwf@gmail.com> | 2018-03-26 13:49:31 -0700 |
| commit | 1156ee7ea73b768bc52f1a42dfcc42120291e268 (patch) | |
| tree | 7df71c05d94497ef80097be4102bcf87e2cb0e26 /.gitmodules | |
| parent | d34e3190dff2085656ed5b83fce441f048af0136 (diff) | |
source code info for interpreted options; fix source code info for extension range options (#4342)
* when interpreting options, rewrite file descriptor's source code info
- so that interpreted option paths have correct location information
- so that corresponding uninterpreted option paths are removed
also includes a fix to source code locations for extension range options
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions