Bigger text announcing the need to remember a password
authorAdam Chlipala <adamc@hcoop.net>
Tue, 1 Jan 2008 00:09:58 +0000 (00:09 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 1 Jan 2008 00:09:58 +0000 (00:09 +0000)

No differences found