diff options
| author | Emilio Jesus Gallego Arias | 2020-02-25 15:19:08 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-02-25 15:19:08 -0500 |
| commit | 1528c066e69327c4769b531cc105b558183b43b1 (patch) | |
| tree | e3d4e59e9d27e92f70caabda2e1d802e1803b556 /doc/plugin_tutorial | |
| parent | 190a3fce86f8edd7c7bb7c6d9f8ceaa1102953a0 (diff) | |
| parent | 4f5e9b0419225530b876c172a1e6a46ca377c384 (diff) | |
Merge PR #11663: Remove unqualified universe attributes.
Reviewed-by: ejgallego
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions