diff --git a/tools/rna_tools/infernal/repository_dependencies.xml b/tools/rna_tools/infernal/repository_dependencies.xml deleted file mode 100644 index 841d5ec8f0..0000000000 --- a/tools/rna_tools/infernal/repository_dependencies.xml +++ /dev/null @@ -1,4 +0,0 @@ - - - -