Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(625)

Issues Search
    My Issues | Starred     Open | Closed | All

Issue 1261203003: Server options file rename [TBR]. (Closed)

Created:
5 years, 4 months ago by pquitslund
Modified:
5 years, 4 months ago
CC:
reviews_dartlang.org
Base URL:
git@github.com:dart-lang/sdk.git@master
Target Ref:
refs/heads/master
Visibility:
Public.

Description

Server options file rename. Clone of https://codereview.chromium.org/1256113004/ which I couldn't cleanly land... Committed: https://github.com/dart-lang/sdk/commit/818229cbae1004f560428f843f7ebe531cf10558

Patch Set 1 #

Unified diffs Side-by-side diffs Delta from patch set Stats (+2 lines, -1 line) Patch
M pkg/analysis_server/lib/src/server_options.dart View 1 chunk +2 lines, -1 line 0 comments Download

Messages

Total messages: 3 (1 generated)
pquitslund
Committed patchset #1 (id:1) manually as 818229cbae1004f560428f843f7ebe531cf10558 (presubmit successful).
5 years, 4 months ago (2015-07-30 23:15:49 UTC) #2
Brian Wilkerson
5 years, 4 months ago (2015-07-30 23:52:05 UTC) #3
Message was sent while issue was closed. 
LGTM

Powered by Google App Engine
This is Rietveld 408576698