diff options
| author | Nickolai Zeldovich | 2015-04-05 10:52:45 -0400 |
|---|---|---|
| committer | Pierre Letouzey | 2015-04-09 12:09:03 +0200 |
| commit | fb8c4b8903e82b36ebcf28dfe18282fb05a93d4f (patch) | |
| tree | 303d0ef85d919bd87cdd59cd9551ff3ef17b09e2 /dev/include | |
| parent | b23edffbb4c0f57a5988c3ae218987f15e215097 (diff) | |
JSON extraction: construct full names (dot-separated) in pp_global
This is important to disambiguate identical names from different modules.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions