Jonas Jenwald 6ac3da0d1f Rename web/debugger.js since it's actually a JavaScript module (PR 17055 follow-up)
It's been loaded as a JavaScript module for a long time, and given that the file is bundled as-is (without building) it seems reasonable to just change the file extension now.
2023-10-08 13:16:42 +02:00
..
2023-08-31 13:09:52 +02:00
2023-08-31 13:09:52 +02:00
2023-08-31 13:09:52 +02:00