Open UnixJunkie opened 4 years ago
Then we could create an opam package to install fragger automatically.
pdbset is used in bin/pdb_filter.sh
Then we could create an opam package to install fragger automatically.