diff options
| author | JmPotato <[email protected]> | 2020-08-10 07:02:40 +0100 |
|---|---|---|
| committer | JmPotato <[email protected]> | 2020-08-10 07:02:40 +0100 |
| commit | 4d9c8821e5c328f29b77667c86cabb3689947fd2 (patch) | |
| tree | 7f56674f5a4a4deabcbf7a6f76b4814cf345a3a6 /editors | |
| parent | 7a03f05eac4ff1e9ca4ceeced54ce06892bd30b8 (diff) | |
Show const body in short_label
Signed-off-by: JmPotato <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions