| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| draft-next/ | 04-Jul-2025 | - | 15,969 | 15,884 | ||
| draft2019-09/ | 04-Jul-2025 | - | 15,637 | 15,549 | ||
| draft2020-12/ | 04-Jul-2025 | - | 16,111 | 16,021 | ||
| draft3/ | 04-Jul-2025 | - | 3,966 | 3,927 | ||
| draft4/ | 04-Jul-2025 | - | 6,639 | 6,595 | ||
| draft6/ | 04-Jul-2025 | - | 8,805 | 8,753 | ||
| draft7/ | 04-Jul-2025 | - | 10,739 | 10,676 |