Rename makecommand to checkout

This commit is contained in:
2025-04-15 18:42:17 +02:00
parent 262ed7eb4c
commit bc99390b25
6 changed files with 31 additions and 45 deletions