diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2025-08-15 13:43:22 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2025-08-15 13:43:22 +0200 |
| commit | 6f84a9a1458ff053d6dc7c1a66c1e03deb8e8793 (patch) | |
| tree | eb7e23e0f58bdbb3e40ba73a21d13b65fea18b5f /GNUmakefile | |
| parent | e8dbb3c17c93372a771a7a26900ae05754b217dc (diff) | |
CommandContext: Add execute_command back, properly typed.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions