Commit 9382046
reffy-bot
Update of ED report from new reffy run
Using reffy commit 19.1.7.1 parent c0b6905 commit 9382046
File tree
6 files changed
+41
-42
lines changed- ed
- dfns
- headings
- ids
- links
6 files changed
+41
-42
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1222 | 1222 | | |
1223 | 1223 | | |
1224 | 1224 | | |
1225 | | - | |
| 1225 | + | |
1226 | 1226 | | |
1227 | 1227 | | |
1228 | 1228 | | |
| |||
1245 | 1245 | | |
1246 | 1246 | | |
1247 | 1247 | | |
1248 | | - | |
| 1248 | + | |
1249 | 1249 | | |
1250 | 1250 | | |
1251 | 1251 | | |
| |||
1268 | 1268 | | |
1269 | 1269 | | |
1270 | 1270 | | |
1271 | | - | |
| 1271 | + | |
1272 | 1272 | | |
1273 | 1273 | | |
1274 | 1274 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
242 | 242 | | |
243 | 243 | | |
244 | 244 | | |
245 | | - | |
| 245 | + | |
246 | 246 | | |
247 | 247 | | |
248 | 248 | | |
| |||
252 | 252 | | |
253 | 253 | | |
254 | 254 | | |
255 | | - | |
| 255 | + | |
256 | 256 | | |
257 | 257 | | |
258 | 258 | | |
259 | 259 | | |
260 | 260 | | |
| 261 | + | |
| 262 | + | |
| 263 | + | |
| 264 | + | |
| 265 | + | |
| 266 | + | |
| 267 | + | |
| 268 | + | |
| 269 | + | |
| 270 | + | |
261 | 271 | | |
262 | 272 | | |
263 | 273 | | |
| |||
288 | 298 | | |
289 | 299 | | |
290 | 300 | | |
291 | | - | |
292 | | - | |
293 | | - | |
294 | | - | |
295 | | - | |
296 | | - | |
297 | | - | |
298 | | - | |
299 | | - | |
300 | | - | |
301 | 301 | | |
302 | 302 | | |
303 | 303 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
63987 | 63987 | | |
63988 | 63988 | | |
63989 | 63989 | | |
| 63990 | + | |
63990 | 63991 | | |
63991 | 63992 | | |
63992 | 63993 | | |
| |||
64329 | 64330 | | |
64330 | 64331 | | |
64331 | 64332 | | |
64332 | | - | |
| 64333 | + | |
64333 | 64334 | | |
64334 | 64335 | | |
64335 | 64336 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
527 | 527 | | |
528 | 528 | | |
529 | 529 | | |
| 530 | + | |
| 531 | + | |
| 532 | + | |
| 533 | + | |
| 534 | + | |
| 535 | + | |
| 536 | + | |
| 537 | + | |
530 | 538 | | |
531 | 539 | | |
532 | 540 | | |
| |||
566 | 574 | | |
567 | 575 | | |
568 | 576 | | |
569 | | - | |
570 | | - | |
571 | | - | |
572 | | - | |
573 | | - | |
574 | | - | |
575 | | - | |
576 | | - | |
577 | 577 | | |
578 | 578 | | |
579 | 579 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| |||
1296 | 1296 | | |
1297 | 1297 | | |
1298 | 1298 | | |
1299 | | - | |
| 1299 | + | |
1300 | 1300 | | |
1301 | 1301 | | |
1302 | | - | |
1303 | | - | |
| 1302 | + | |
| 1303 | + | |
1304 | 1304 | | |
1305 | 1305 | | |
1306 | 1306 | | |
| |||
3115 | 3115 | | |
3116 | 3116 | | |
3117 | 3117 | | |
3118 | | - | |
| 3118 | + | |
3119 | 3119 | | |
3120 | | - | |
| 3120 | + | |
3121 | 3121 | | |
3122 | 3122 | | |
3123 | 3123 | | |
| |||
16963 | 16963 | | |
16964 | 16964 | | |
16965 | 16965 | | |
16966 | | - | |
| 16966 | + | |
16967 | 16967 | | |
16968 | 16968 | | |
16969 | | - | |
16970 | | - | |
| 16969 | + | |
| 16970 | + | |
16971 | 16971 | | |
16972 | 16972 | | |
16973 | 16973 | | |
| |||
33275 | 33275 | | |
33276 | 33276 | | |
33277 | 33277 | | |
33278 | | - | |
| 33278 | + | |
33279 | 33279 | | |
33280 | 33280 | | |
33281 | | - | |
| 33281 | + | |
33282 | 33282 | | |
33283 | 33283 | | |
33284 | 33284 | | |
| |||
39676 | 39676 | | |
39677 | 39677 | | |
39678 | 39678 | | |
39679 | | - | |
| 39679 | + | |
39680 | 39680 | | |
39681 | 39681 | | |
39682 | | - | |
| 39682 | + | |
39683 | 39683 | | |
39684 | 39684 | | |
39685 | 39685 | | |
| |||
40972 | 40972 | | |
40973 | 40973 | | |
40974 | 40974 | | |
40975 | | - | |
| 40975 | + | |
40976 | 40976 | | |
40977 | 40977 | | |
40978 | | - | |
| 40978 | + | |
40979 | 40979 | | |
40980 | 40980 | | |
40981 | 40981 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
9 | | - | |
10 | 9 | | |
11 | 10 | | |
12 | 11 | | |
| |||
30 | 29 | | |
31 | 30 | | |
32 | 31 | | |
33 | | - | |
34 | 32 | | |
35 | 33 | | |
36 | 34 | | |
| |||
76 | 74 | | |
77 | 75 | | |
78 | 76 | | |
79 | | - | |
| 77 | + | |
80 | 78 | | |
81 | 79 | | |
82 | 80 | | |
| |||
0 commit comments