From ae0f1079276e3128ca96e8b237a36eb682f38b99 Mon Sep 17 00:00:00 2001 From: Captain Wei Date: Sat, 9 May 2020 15:34:52 +0800 Subject: [PATCH] add yaml file --- dejagnu.yaml | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 dejagnu.yaml 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: .