tree ca2c2825722d8d2c84cde4310a641544183a1a7e
parent c1da664e8954883f265e54dc5104bf1c04d8beaf
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1393341682 +0100
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1394782861 +0100

shell scripts: clean up when exiting on signal