builder.sh: removed case insensity for 'del' matching and introduced --MF and --MB...
[brisk.git] / bin / relict_get.sh
2013-11-05 Matteo Nastasi ... relict finder script added v4.10.1