| Index: third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js b/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
|
| index b939a47b5d556b406aa148ac8dadcf80778cf988..4058147091d75898d064c55679131c7d50bcf638 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
|
| @@ -27,6 +27,7 @@
|
| * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
| * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
| */
|
| +
|
| /**
|
| * @unrestricted
|
| */
|
|
|