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