Dave Borowitz ebde328a6f Rename dev-note-db.txt to note-db.txt ...

It's not just for developers anymore. The link from init will be broken
until this change is live on googlesource.com, but that only affects
users who are building gerrit.war from master, and this change should be
live within a day or two after submission.

Change-Id: I6339617033037955a5bafc47ab42117179b7e1d6

2017-08-16 10:00:44 -04:00

..

src

Rename dev-note-db.txt to note-db.txt

2017-08-16 10:00:44 -04:00

BUILD

Split out build rule for metrics interfaces

2017-08-16 08:20:38 -04:00