diff options
| author | Miguel Ángel Moreno <mail@migalmoreno.com> | 2024-02-18 12:35:00 +0100 |
|---|---|---|
| committer | Miguel Ángel Moreno <mail@migalmoreno.com> | 2024-02-18 12:35:00 +0100 |
| commit | 771cfe4c0fec287d630f2d9b534705498b4fcc3c (patch) | |
| tree | 489b05ceb82639e9ea3b58e80038dc2fce0c3d4e /.github | |
| parent | 47579a2505c48e74e1860590d59682632ff5bd17 (diff) | |
chore: set default local compilation command
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions