diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-09-13 21:51:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-13 21:51:41 +0200 |
| commit | 2a1807b12d16156e0d18f69c589cb5b4efef8f43 (patch) | |
| tree | eafb811396bb9e25d98c0d422c3d2b2b71f859c0 /.github/workflows | |
| parent | 70ba36674351f9d585cf8ab80a2faa390b52da71 (diff) | |
| parent | d647ba3540ee30b5c50083b1ad6f0263b110b785 (diff) | |
Merge pull request #52517 from Paulb23/block-comment-folding
Fix block deliminator not-folding at end of file
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions