Shawn O. Pearce 725fed4269 Merge branch 'master' into gwt-2.0 ... * master: Fix reading the $site_path/etc/ssh_host_key in serialized form Never compress a pid file under $site_path/logs Clean up the DWIMery for database.* configuration settings Completely remove GerritServer.properties Fix duplicate branches showing in the Branches tab Refactor GitRepositoryManager to be an interface Conflicts: tools/gwtui_dbg.launch tools/gwtui_mac.launch Change-Id: If50811015fa24804013338fa4261fc347c2a8812		2009-12-19 20:51:48 -08:00
..
GoogleFormat.xml	Rewrite our build as modular maven components	2009-11-11 16:54:06 -08:00
gwtui_dbg.launch	Merge branch 'master' into gwt-2.0	2009-12-19 20:51:48 -08:00
pgm_daemon.launch	pgm_daemon launch: Run ../test_site like docs suggest it does	2009-12-17 14:02:44 -08:00
release.sh	tools/release.sh: Simplify our release build process	2009-12-18 14:51:07 -08:00
version.sh	tools/release.sh: Simplify our release build process	2009-12-18 14:51:07 -08:00