elfman2

Same issue, patched '\\\' in '/' in build.js: return"gdb"===l.store.get("interpreter")?['-break-insert "'+**e.replace(/\\\\/g,"/")** Corresponds to source code GdbApi.jsx:354 get_insert_break_cmd: function(fullname, line) { if (store.get("interpreter") === "gdb") { **return [`-break-insert "${fullname}:${line}"`];** } else {...

Interrest in matrices generated with export --formats rst