Eugen Wissner a4c56fb432 Add a script changing file extensions

2025-02-21 11:21:35 +01:00

..

7digital.rb

cross_toolchain.rb: Update kernel and change tmp

2025-02-12 17:30:03 +01:00

cross_toolchain.rb

cross_toolchain.rb: Update kernel and change tmp

2025-02-12 17:30:03 +01:00

mock_server.rb

Add a mock server

2025-02-01 10:37:15 +01:00

read_logs.rb

cross_toolchain.rb: Update kernel and change tmp

2025-02-12 17:30:03 +01:00

rename.rb

Add a script changing file extensions

2025-02-21 11:21:35 +01:00