Function doubleQuote

static/editor.md/lib/codemirror/mode/erlang/erlang.js:325–327

(stream)

  }

  function doubleQuote(stream) {
    return quote(stream, '"', '\\');
  }

  function singleQuote(stream) {
    return quote(stream,'\'','\\');