File tree
35 files changed
+89
-46
lines changed- docs/_layouts
- project
- scaladoc/src/dotty/tools/scaladoc/renderers
- scaladoc-js
- common
- resources
- src/code-snippets
- contributors
- resources
- src
- content-contributors
- main
- resources
- src
- searchbar
- engine
- social-links
- tooltip-normalizer
- ux
- versions-dropdown
- test/dotty/dokka
- markdown/src
- src
35 files changed
+89
-46
lines changedLines changed: 4 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
23 |
| - | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
24 | 27 |
| |
25 | 28 |
| |
26 | 29 |
| |
|
Lines changed: 4 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
3 | 7 |
| |
4 | 8 |
| |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 |
| - | |
9 |
| - | |
10 | 9 |
| |
11 | 10 |
| |
12 | 11 |
| |
|
Lines changed: 6 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
| |||
28 | 28 |
| |
29 | 29 |
| |
30 | 30 |
| |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
31 | 36 |
| |
32 | 37 |
| |
33 | 38 |
| |
|
Lines changed: 44 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1256 | 1256 |
| |
1257 | 1257 |
| |
1258 | 1258 |
| |
1259 |
| - | |
| 1259 | + | |
| 1260 | + | |
1260 | 1261 |
| |
1261 | 1262 |
| |
1262 | 1263 |
| |
1263 |
| - | |
1264 |
| - | |
1265 |
| - | |
1266 |
| - | |
1267 | 1264 |
| |
1268 |
| - | |
| 1265 | + | |
| 1266 | + | |
| 1267 | + | |
| 1268 | + | |
| 1269 | + | |
| 1270 | + | |
| 1271 | + | |
| 1272 | + | |
| 1273 | + | |
| 1274 | + | |
| 1275 | + | |
| 1276 | + | |
| 1277 | + | |
| 1278 | + | |
| 1279 | + | |
| 1280 | + | |
| 1281 | + | |
| 1282 | + | |
| 1283 | + | |
1269 | 1284 |
| |
1270 | 1285 |
| |
1271 | 1286 |
| |
| |||
1320 | 1335 |
| |
1321 | 1336 |
| |
1322 | 1337 |
| |
1323 |
| - | |
1324 |
| - | |
1325 |
| - | |
| 1338 | + | |
| 1339 | + | |
| 1340 | + | |
| 1341 | + | |
| 1342 | + | |
| 1343 | + | |
| 1344 | + | |
| 1345 | + | |
| 1346 | + | |
1326 | 1347 |
| |
1327 | 1348 |
| |
1328 |
| - | |
| 1349 | + | |
| 1350 | + | |
| 1351 | + | |
| 1352 | + | |
| 1353 | + | |
| 1354 | + | |
| 1355 | + | |
| 1356 | + | |
| 1357 | + | |
| 1358 | + | |
| 1359 | + | |
1329 | 1360 |
| |
1330 |
| - | |
| 1361 | + | |
1331 | 1362 |
| |
1332 | 1363 |
| |
1333 | 1364 |
| |
| |||
1458 | 1489 |
| |
1459 | 1490 |
| |
1460 | 1491 |
| |
1461 |
| - | |
| 1492 | + | |
1462 | 1493 |
| |
1463 | 1494 |
| |
1464 |
| - | |
| 1495 | + | |
1465 | 1496 |
| |
1466 | 1497 |
| |
1467 | 1498 |
| |
|
File renamed without changes.
File renamed without changes.
Lines changed: 11 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + |
Lines changed: 5 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + |
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
11 |
| - | |
12 | 11 |
| |
13 | 12 |
| |
14 | 13 |
| |
|
Lines changed: 10 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + |
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
Lines changed: 5 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + |
Lines changed: 0 additions & 24 deletions
This file was deleted.
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
90 | 90 |
| |
91 | 91 |
| |
92 | 92 |
| |
93 |
| - | |
94 | 93 |
| |
95 | 94 |
| |
96 | 95 |
| |
|
0 commit comments