diff options
| author | coqbot-app[bot] | 2021-02-26 18:07:01 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-26 18:07:01 +0000 |
| commit | 4d93cebf19b2ac0ce162dad8c4c73d84ee7f4832 (patch) | |
| tree | ba512d7e9d024ce15b794983d92af62f7405573d /plugins | |
| parent | 15074f171cdf250880bd0f7a2806356040c89f36 (diff) | |
| parent | 3abde17c1117d9c413a9d4ad3e0af3d71e77fdb4 (diff) | |
Merge PR #13883: Expose Top_printers.econstr_display
Reviewed-by: ejgallego
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions