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 |