diff --git a/dejagnu.yaml b/dejagnu.yaml new file mode 100644 index 0000000..cf01d1d --- /dev/null +++ b/dejagnu.yaml @@ -0,0 +1,4 @@ +version_control: git +src_repo: https://git.savannah.gnu.org/git/dejagnu.git +tag_prefix: ^dejagnu- +seperator: .