Eugen Wissner 241b2e28d7 cross_toolchain.rb: Use GNU mirrors

2025-09-08 16:01:55 +02:00

..

7digital.rb

7digital: Read the album from the metadata

2025-03-24 14:03:38 +01:00

cross_toolchain.rb

cross_toolchain.rb: Use GNU mirrors

2025-09-08 16:01:55 +02:00

mock_server.rb

Add a mock server

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

pg_jekyll.rb

Add pg_jekyll script

2025-09-06 22:08:12 +02: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