diff options
| author | Edoardo La Greca | 2025-04-27 18:29:03 +0200 |
|---|---|---|
| committer | Edoardo La Greca | 2025-04-27 18:29:03 +0200 |
| commit | 4c28da74daf1c7c922c2c8287672afdca4ccae04 (patch) | |
| tree | 520f0f084318df444ff9349b4fe437e8c471e0e4 /sh/platdep.sh | |
| parent | 4bcf53a0d6e617515b16c202e51c9619dc758c70 (diff) | |
add make file
Diffstat (limited to 'sh/platdep.sh')
0 files changed, 0 insertions, 0 deletions