Rename dev options xml file

Browse Source

Bug: 34203528
Test: Builds and tests still pass
Change-Id: I7990555244c57f526b8609ae11154683aed889be

...

This commit is contained in:

jeffreyhuang

2017-11-13 16:58:55 -08:00

parent bbdc72c95a

commit d5e2fd30a9

5 changed files with 6 additions and 6 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

0

res/xml/development_prefs.xml → res/xml/development_settings.xml