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
|
Fri, 22 Sep 2000 07:48:08 +0000 |
Andr Spiegel |
(vc-rcs-checkin): Fix bug that prevented check-in without explicit
|
Thu, 21 Sep 2000 21:50:10 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Thu, 21 Sep 2000 21:49:53 +0000 |
Gerd Moellmann |
(wrong_type_argument, Fthrow, Fsignal, error): Declare
|
Thu, 21 Sep 2000 21:49:39 +0000 |
Gerd Moellmann |
(NO_RETURN): Define.as `__attribute__((__noreturn__))'
|