File tree
2 files changed
+6
-2
lines changed- .github/workflows
- tools
2 files changed
+6
-2
lines changed+1-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
25 |
| - | |
26 |
| - | |
| 25 | + | |
27 | 26 |
| |
28 | 27 |
|
Diff for: tools/update-rtd-redirects.py
+5
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
6 | 11 |
| |
7 | 12 |
| |
8 | 13 |
| |
|
0 commit comments