diff options
| author | Sébastien d'Herbais de Thun <sebastien.d.herbais@gmail.com> | 2023-11-27 12:13:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-27 12:13:46 +0100 |
| commit | c1ed55f55572b3f5a5618dfaa81b2aa281df1840 (patch) | |
| tree | bd08b4112da2253cfab83b6bfdec3886552a83b6 /.github | |
| parent | 34862b7b27ad0df34bc12e486cdfa3726f824c33 (diff) | |
Optimized `DocumentElem` (#2777)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions
