tree 26563c800fdae8c7c16777618fc3ac3636ebcaea
parent 88d85536813256cbf0b38980851dae2a12d0d803
parent b8b90039426e846d9a9dd9598a960b58ac6126d0
author Devon Carew <devoncarew@google.com> 1461965042 -0700
committer Devon Carew <devoncarew@google.com> 1461965042 -0700

Merge pull request #76 from dart-lang/fix_settings_file_mutation

fix an issue with changing the settings file