diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-27 11:03:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-27 11:03:33 +0200 |
| commit | 85ef0a1058fb0acbf550b8d3674d02d9023de82b (patch) | |
| tree | a6d0fbda8fb182050d75613f584adb0f899e53b7 /main/main_builders.py | |
| parent | f9998455cee262de0f5b82ea556f644353235a47 (diff) | |
| parent | a287276ef0310393351cfa8f56de75851b00624a (diff) | |
Merge pull request #64935 from YuriSizov/makerst-make-stable-link
Make cross-link generation more reliable in RST documentation
Diffstat (limited to 'main/main_builders.py')
0 files changed, 0 insertions, 0 deletions