Get rid of an old console.log

dev/git-series/gccdum
Matt Godbolt 7 years ago
parent 6e97202e3e
commit 8a8f8b17a5

@ -308,7 +308,6 @@ define(function (require) {
_.each(lines, function (line, lineNumZeroBased) {
var match = line.match(includeFind);
if (match) {
console.log(line, lineNumZeroBased);
promises.push(new Promise(function (resolve, reject) {
var req = $.get(match[1], function (data) {
data = '# 1 "' + match[1] + '"\n' + data + '\n\n# ' +

Loading…
Cancel
Save