commit | 53ebe562f5e9b6b4fe9ae597c7cdab9590e15f2b | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Thu Mar 08 23:09:32 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Mar 08 23:09:32 2001 +0000 |
tree | cadd1810f3755cb602cc97703f0f897e458343ad | |
parent | 54f3bdbfe1bdb194c6fcb8a1bb0798a806597723 [diff] |
Handle the ReopenApplication event (by ignoring it).