Remove catchAllAlias in favor of defaultAlias; add better handling of slave servers...
authorAdam Chlipala <adamc@hcoop.net>
Wed, 20 Jun 2007 23:43:21 +0000 (23:43 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 20 Jun 2007 23:43:21 +0000 (23:43 +0000)

No differences found