Commit 5518d301980bdc0f60b1b5d58b140004dfda490e

Bruno Haible 2010-07-12T18:54:13

New module '_Exit'.