Binary: shield-trigger

dsktune-bin cris-linux-gnu-gprof v.vect.stats dasdcat chainsaw mlmmj-send mdoc-export-msxdoc mnemo-convert-sql-shares-to-sqlng ext_transform_feedback-immediate-reuse qucsdigi rancid-run rmol_extractBPC rctest dbf2mysql profit expect_passmass funtbl grepcidr hol-light ibid-db g++-libc++ getfem-config memcrm opt javac pt-visual-explain sim_lisp syldbimport tcmt xenpm