rename PanicButton to BoreDooomButton and eliminate door id
[svn42.git] / go / door_client_zmq / make_deploy.zsh
2013-09-25 Bernhard Tittelbachminor improvements