diff options
| author | Edoardo La Greca | 2025-05-09 21:17:42 +0200 |
|---|---|---|
| committer | Edoardo La Greca | 2025-05-09 21:17:42 +0200 |
| commit | 57f8454995fdff50da8409583bd8c0da1c194ab7 (patch) | |
| tree | 2c50864a561cf90e686b4c8a5cbccdeb904a12ba /sh/platdep.sh | |
| parent | 170c948951b3a2baeb5396884227c68ab7b758d4 (diff) | |
output each file in a separate file when using folder.sh
Diffstat (limited to 'sh/platdep.sh')
0 files changed, 0 insertions, 0 deletions