// Copyright (c) Jupyter Development Team.
// Distributed under the terms of the Modified BSD License.

/// <reference path="../typings/codemirror/codemirror.d.ts"/>
/// <reference types="@types/codemirror/addon/search/searchcursor"/>
