joerg 93a2bf7703 Call semexit() from exit(), in order to process `undo vectors'.
This function has actually never been called.
1995-12-27 15:25:30 +00:00
..
1995-12-02 16:32:03 +00:00
1995-12-10 13:45:30 +00:00
1995-12-17 21:23:44 +00:00
1995-05-08 23:11:12 +00:00
1995-12-17 21:23:44 +00:00
1995-12-17 21:23:44 +00:00
1994-08-02 07:55:43 +00:00
1995-02-24 08:51:34 +00:00
1994-08-02 07:55:43 +00:00
1994-08-02 07:55:43 +00:00
1995-12-19 14:47:41 +00:00
1995-12-15 04:46:32 +00:00
1994-09-13 14:47:38 +00:00
1995-12-22 13:09:39 +00:00
1994-08-02 07:55:43 +00:00
1995-12-22 15:57:31 +00:00
1995-12-17 21:23:44 +00:00
1995-12-17 21:23:44 +00:00
1995-12-17 21:23:44 +00:00
1995-12-17 21:23:44 +00:00
1995-12-17 21:23:44 +00:00
1995-12-17 21:23:44 +00:00