Commit 93d436c91edffd70086e32b26e1f570256b71a8a

Bruno Haible 2004-01-27T11:10:45

New module 'execute'.