diff options
| author | Eduardo Julian | 2022-07-08 18:42:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-08 18:42:43 -0400 |
| commit | 6a052144968df9b441df53f6aa08cbb515ff2654 (patch) | |
| tree | 7276eb5450baf14cfdc69071fd082168741b8291 /.gitignore | |
| parent | 14a5d4377431c7fc7a13b71cfbbaeb7baa116d29 (diff) | |
Folded "default" documentation into regular definition documentation.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions