| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 31-May-2021 | - | ||||
| proper_common.hrl | H A D | 31-May-2021 | 2.5 KiB | 56 | 18 | |
| proper_gen.erl | H A D | 31-May-2021 | 20.5 KiB | 625 | 453 | |
| proper_internal.hrl | H A D | 31-May-2021 | 3.3 KiB | 93 | 34 | |
| proper_types.erl | H A D | 31-May-2021 | 49.2 KiB | 1,350 | 793 | |
| proper_typeserver.erl | H A D | 31-May-2021 | 93.1 KiB | 2,403 | 1,983 |