From 99ad92dbf99a58355fe50ae2a451cbda043000e4 Mon Sep 17 00:00:00 2001 From: Anthony Date: Fri, 5 Apr 2024 12:22:07 +0200 Subject: [PATCH] feat(connector): add vdm model symlink --- connector/server/src/main/resources/checklist.vdmsl | 1 + 1 file changed, 1 insertion(+) create mode 120000 connector/server/src/main/resources/checklist.vdmsl diff --git a/connector/server/src/main/resources/checklist.vdmsl b/connector/server/src/main/resources/checklist.vdmsl new file mode 120000 index 0000000..e88e4d5 --- /dev/null +++ b/connector/server/src/main/resources/checklist.vdmsl @@ -0,0 +1 @@ +../../../../../formal/checklist.vdmsl \ No newline at end of file