Rietveld Code Review Tool
Help | Bug tracker | Discussion group | Source code

Unified Diff: desktop-options.js

Issue 29565861: Issue 5803 - rename desktop options page to desktop-options.* (Closed)
Patch Set: update options.html Created Oct. 5, 2017, 10:32 p.m.
Use n/p to move between diff chunks; N/P to move between comments.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: desktop-options.js
===================================================================
rename from options.js
rename to desktop-options.js

Powered by Google App Engine
This is Rietveld