diff options
author | 2014-06-28 15:13:33 (GMT) | |
---|---|---|
committer | 2014-06-28 15:13:33 (GMT) | |
commit | 645a5c33ae4f11a07eca531617d9d597f7b695c3 (patch) | |
tree | 2be5b541d36e7085c730879e35d66621d4d5ecad /patches/cloog-ppl/0.15.10/100-add_on_libs_position.patch | |
parent | bda692e7370c6b671ff39e1e10c7eca4aee37b36 (diff) |
scripts: remove legacy mk-release.sh
This script is too Hg-specific. Just remove it.
In case we need something similar in the future,
we'd just have to use the better git counterparts.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Diffstat (limited to 'patches/cloog-ppl/0.15.10/100-add_on_libs_position.patch')
0 files changed, 0 insertions, 0 deletions