log

age author description
Fri, 22 Sep 2000 11:19:46 +0000 Gerd Moellmann (fancy-splash-head): Use splash.pbm instead of
Fri, 22 Sep 2000 07:52:09 +0000 Andr Spiegel #
Fri, 22 Sep 2000 07:49:19 +0000 Andr Spiegel (vc-switch-backend): Signal an error if the file is not registered