| commit | e98f5593f88557bf74fddd91dd448a640a702085 | [log] [tgz] |
|---|---|---|
| author | Antonio García-Domínguez <agarcdomi@gmail.com> | Tue May 16 12:14:22 2023 +0100 |
| committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Tue May 16 12:14:22 2023 +0100 |
| tree | f7f75bbfcae75867609453da36573a9a2939df50 | |
| parent | 6455ec2251890c679b032959b2c147331cc33e9f [diff] |
Add missing space in the name of the editor