diff --git a/bin/frama-c-zmq b/bin/frama-c-zmq deleted file mode 100755 index a3a8d7179e461d630cd37c01c61af0c091d3190b..0000000000000000000000000000000000000000 --- a/bin/frama-c-zmq +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -echo "ZMQ Client *@"