diff options
| author | Clément Pit-Claudel | 2020-03-26 14:06:15 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-03-26 14:06:15 -0400 |
| commit | 8457ddd63ba4a7afa68409528f165bac0ee18126 (patch) | |
| tree | ba3f8471ff55782ab1b067cfe44620f83f8033c0 /plugins | |
| parent | 738445a8db2b853204ea6f04b6b07751aeb40833 (diff) | |
| parent | ec39d9ce2f43c30d760b33293bb76eca6749b13f (diff) | |
Merge PR #11920: Shrink refman-prelude files.
Ack-by: SkySkimmer
Reviewed-by: cpitclaudel
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions