use new bomb shell wrapper
authorWolfram Schneider <wosch@indexdata.dk>
Mon, 1 Dec 2014 12:56:13 +0000 (12:56 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Mon, 1 Dec 2014 12:56:13 +0000 (12:56 +0000)

No differences found